Sciweavers

1366 search results - page 185 / 274
» Modularizing Contexted Constraints
Sort
View
VLDB
2007
ACM
161views Database» more  VLDB 2007»
15 years 9 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
IROS
2006
IEEE
152views Robotics» more  IROS 2006»
15 years 9 months ago
Experiments with robust estimation techniques in real-time robot vision
— The goal of this paper is to present an overview of robust estimation techniques with a special focus on robotic vision applications. In this particular context, constraints du...
Ezio Malis, Éric Marchand
ASPDAC
2005
ACM
101views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Lower bounds for dynamic BDD reordering
— In this paper we present new lower bounds on BDD size. These lower bounds are derived from more general lower bounds that recently were given in the context of exact BDD minimi...
Rüdiger Ebendt, Rolf Drechsler
RSFDGRC
2005
Springer
127views Data Mining» more  RSFDGRC 2005»
15 years 8 months ago
Hierarchical Information Maps
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...
Andrzej Skowron, Piotr Synak
SOFSEM
2005
Springer
15 years 8 months ago
Tier Aspect Model Based on Updatable Views
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
Radoslaw Adamus, Kazimierz Subieta