Sciweavers

570 search results - page 25 / 114
» The Complexity of Reasoning with Global Constraints
Sort
View
114
Voted
FROCOS
2011
Springer
13 years 9 months ago
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
WIAMIS
2009
IEEE
15 years 4 months ago
Global motion estimation using variable block sizes and its application to object segmentation
Global motion is estimated either in the pixel domain or in block based domain. Until now, all the approaches regarding the latter are based on fixed sized blocks while the recent...
Marina Georgia Arvanitidou, Alexander Glantz, Andr...
CVPR
2008
IEEE
15 years 11 months ago
Globally optimal shape-based tracking in real-time
Most algorithms for real-time tracking of deformable shapes provide sub-optimal solutions for a suitable energy minimization task: The search space is typically considered too lar...
Thomas Schoenemann, Daniel Cremers
IEEESCC
2007
IEEE
15 years 4 months ago
Brave New Web: Emerging Design Principles and Technologies as Enablers of a Global SOA
Web Services have experienced great interest during the last years as they were expected to play a key role as enablers of seamless application-to-application integration both wit...
Christoph Schroth, Oliver Christ
95
Voted
RTSS
2007
IEEE
15 years 4 months ago
Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor Platforms
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...
Marko Bertogna, Michele Cirinei