Sciweavers

2845 search results - page 321 / 569
» Constraints over Ontologies
Sort
View
109
Voted
ER
2010
Springer
132views Database» more  ER 2010»
14 years 10 months ago
Full Satisfiability of UML Class Diagrams
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
SMI
2010
IEEE
165views Image Analysis» more  SMI 2010»
14 years 10 months ago
Designing a Topological Modeler Kernel: A Rule-Based Approach
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
Thomas Bellet, Mathieu Poudret, Agnès Arnou...
119
Voted
WCET
2010
14 years 10 months ago
Towards WCET Analysis of Multicore Architectures Using UPPAAL
To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that thre...
Andreas Gustavsson, Andreas Ermedahl, Björn L...
104
Voted
ICCV
2009
IEEE
14 years 10 months ago
Simultaneous camera pose and correspondence estimation in cornerless images
We propose an algorithm which can jointly estimate camera pose and point set registration. Given point sets from two views of a stationary scene, our algorithm registers the point...
Wen-Yan Lin, Guo Dong, Ping Tan, Loong Fah Cheong,...
114
Voted
ACCV
2010
Springer
14 years 7 months ago
Efficient Structured Support Vector Regression
Support Vector Regression (SVR) has been a long standing problem in machine learning, and gains its popularity on various computer vision tasks. In this paper, we propose a structu...
Ke Jia, Lei Wang, Nianjun Liu