69 search results - page 3 / 14 » Structural Subsumption Considered from an Automata-Theoretic... |
IEEEICCI
2002
IEEE
14 years 13 days ago
2002
IEEE
In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form...
FCT
2009
Springer
14 years 2 months ago
2009
Springer
Despite of their applicability betweennness constraints have (to the authorās knowledge) hardly been considered from the random structures point of view. They are essentially diļ...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
We consider the structure from motion problem for a previously introduced, highly general imaging model, where cameras are modeled as possibly unconstrained sets of projection ray...
FOIS
2006
13 years 9 months ago
2006
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
FUIN
2010
13 years 6 months ago
2010
From an empirical point of view, the hardness of quantiļ¬ed Boolean formulas (QBFs), can be characterized by the (in)ability of current state-of-the-art QBF solvers to decide abo...