1864 search results - page 112 / 373 » Formal topology and domains |
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper studies directional dynamics in cellular automata, a formalism previously introduced by the third author. The central idea is to study the dynamical behaviour of a cell...
155
click to vote
JSAC
2006
15 years 6 months ago
2006
Abstract-- Information about the topology and link-level characteristics of a network is critical for many applications including network diagnostics and management. However, this ...
145
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
The Viewing Graph [1] represents several views linked by the corresponding fundamental matrices, estimated pairwise. Given a Viewing Graph, the tuples of consistent camera matrices...
154
click to vote
EUROMICRO
2005
IEEE
16 years 13 hour ago
2005
IEEE
Objective: Formal definition of composition assessment metrics for CBSE, using an extension of the CORBA Component Model metamodel as the ontology for describing component assembl...
150
click to vote
DIAGRAMS
2006
Springer
15 years 10 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...