Results 1 - 10
of
10,948
Axioms For Bigraphical Structure
- UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
, 2005
"... This paper axiomatises the structure of bigraphs, and proves that the resulting theory is complete. Bigraphs are graphs with double structure, representing locality and connectivity. They have been shown to represent dynamic theories for the #-calculus, mobile ambients and Petri nets, in a way th ..."
Abstract
-
Cited by 41 (8 self)
- Add to MetaCart
demonstrates; this is because bigraphs treat locality and connectivity orthogonally
Ontologies are us: A unified model of social networks and semantics
- In International Semantic Web Conference
, 2005
"... Abstract. On the Semantic Web ontologies are most commonly treated as artifacts created by knowledge engineers for a particular community. The task of the engineers is to forge a common understanding within the community and to formalize the agreements, prerequisites of reusing domain knowledge in i ..."
Abstract
-
Cited by 466 (3 self)
- Add to MetaCart
Abstract. On the Semantic Web ontologies are most commonly treated as artifacts created by knowledge engineers for a particular community. The task of the engineers is to forge a common understanding within the community and to formalize the agreements, prerequisites of reusing domain knowledge
Contour and Texture Analysis for Image Segmentation
, 2001
"... This paper provides an algorithm for partitioning grayscale images into disjoint regions of coherent brightness and texture. Natural images contain both textured and untextured regions, so the cues of contour and texture differences are exploited simultaneously. Contours are treated in the interveni ..."
Abstract
-
Cited by 404 (28 self)
- Add to MetaCart
This paper provides an algorithm for partitioning grayscale images into disjoint regions of coherent brightness and texture. Natural images contain both textured and untextured regions, so the cues of contour and texture differences are exploited simultaneously. Contours are treated
Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks
"... Particle filters (PFs) are powerful sampling-based inference/learning algorithms for dynamic Bayesian networks (DBNs). They allow us to treat, in a principled way, any type of probability distribution, nonlinearity and non-stationarity. They have appeared in several fields under such names as “conde ..."
Abstract
-
Cited by 348 (11 self)
- Add to MetaCart
Particle filters (PFs) are powerful sampling-based inference/learning algorithms for dynamic Bayesian networks (DBNs). They allow us to treat, in a principled way, any type of probability distribution, nonlinearity and non-stationarity. They have appeared in several fields under such names
Face recognition by independent component analysis
- IEEE Transactions on Neural Networks
, 2002
"... Abstract—A number of current face recognition algorithms use face representations found by unsupervised statistical methods. Typically these methods find a set of basis images and represent faces as a linear combination of those images. Principal component analysis (PCA) is a popular example of such ..."
Abstract
-
Cited by 348 (5 self)
- Add to MetaCart
database under two different architectures, one which treated the images as random variables and the pixels as outcomes, and a second which treated the pixels as random variables and the images as outcomes. The first architecture found spatially local basis images for the faces. The second architecture
Bigraphs and Mobile Processes (revised)
, 2004
"... A bigraphical reactive system (BRS) involves bigraphs, in which the nesting of nodes represents locality, independently of the edges connecting them; it also allows bigraphs to reconfigure themselves. BRSs aim to provide a uniform way to model spatially distributed systems that both compute and comm ..."
Abstract
-
Cited by 66 (7 self)
- Add to MetaCart
A bigraphical reactive system (BRS) involves bigraphs, in which the nesting of nodes represents locality, independently of the edges connecting them; it also allows bigraphs to reconfigure themselves. BRSs aim to provide a uniform way to model spatially distributed systems that both compute
Pure bigraphs: structure and dynamics
, 2005
"... Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigraphical reactive system (Brs) in which bigraphs can reconfigure themselves. Following an earlier paper describing link graphs, a c ..."
Abstract
-
Cited by 62 (5 self)
- Add to MetaCart
Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigraphical reactive system (Brs) in which bigraphs can reconfigure themselves. Following an earlier paper describing link graphs, a
Discovering objects and their location in images
- In ICCV
, 2005
"... We seek to discover the object categories depicted in a set of unlabelled images. We achieve this using a model developed in the statistical text literature: probabilistic Latent Semantic Analysis (pLSA). In text analysis this is used to discover topics in a corpus using the bag-of-words document re ..."
Abstract
-
Cited by 272 (9 self)
- Add to MetaCart
representation. Here we treat object categories as topics, so that an image containing instances of several categories is modeled as a mixture of topics. The model is applied to images by using a visual analogue of a word, formed by vector quantizing SIFT-like region descriptors. The topic discovery approach
M (2010) Bigraphs with sharing
"... Bigraphical Reactive Systems (BRS) were designed by Milner as a universal formalism for modelling systems that evolve in time, locality, co-locality and connectivity. But the underlying model of location (the place graph) is a forest, which means there is no straightforward representation of locati ..."
Abstract
-
Cited by 3 (3 self)
- Add to MetaCart
Bigraphical Reactive Systems (BRS) were designed by Milner as a universal formalism for modelling systems that evolve in time, locality, co-locality and connectivity. But the underlying model of location (the place graph) is a forest, which means there is no straightforward representation
On the decidability of bigraphical sorting
- Proc. CALCO Young Researchers Workshop, number 05/2010 in Technical Report
, 2009
"... Abstract. Bigraphical reactive systems are a general framework for mo-bile, concurrent, and communicating systems based on the notions of lo-cation and channel connection. Bigraphs have been shown to be suitable for representing several formalisms, but despite their expressive power, in many cases s ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
algorithm for bigraphs. The proposed subclass is shown to be expressive enough to capture several bigraphical sortings present in literature, e.g., homomorphic sortings and local bigraphs. 1
Results 1 - 10
of
10,948