Sciweavers

3335 search results - page 324 / 667
» A Unified Approach to Modeling and Programming
Sort
View
ENTCS
2002
108views more  ENTCS 2002»
15 years 6 months ago
Bisimulation Relations for Dynamical and Control Systems
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
Esfandiar Haghverdi, Paulo Tabuada, George J. Papp...
166
Voted
PAMI
1998
107views more  PAMI 1998»
15 years 6 months ago
Graph Matching With a Dual-Step EM Algorithm
—This paper describes a new approach to matching geometric structure in 2D point-sets. The novel feature is to unify the tasks of estimating transformation geometry and identifyi...
Andrew D. J. Cross, Edwin R. Hancock
DLOG
2010
15 years 4 months ago
Distance-based Measures of Inconsistency and Incoherency for Description Logics
Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
Yue Ma, Pascal Hitzler
ICASSP
2010
IEEE
15 years 4 months ago
Mining actor correlations with hierarchical concurrence parsing
Mining actor correlations from TV series enables semanticlevel video understanding and facilitates users to conduct correlation-based query. In this paper, we introduce a graphbas...
Kun Yuan, Hongxun Yao, Rongrong Ji, Xiaoshuai Sun
ER
2009
Springer
119views Database» more  ER 2009»
16 years 1 months ago
Assessing Modal Aspects of OntoUML Conceptual Models in Alloy
Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information ...
Alessander Botti Benevides, Giancarlo Guizzardi, B...