8 search results - page 1 / 2 » Many Hands Make Light Work: Localized Satisfiability for Mul... |
ECAI
2004
Springer
13 years 8 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
CVPR
2007
IEEE
14 years 6 months ago
2007
IEEE
In recent years many powerful Computer Vision algorithms have been invented, making automatic or semiautomatic solutions to many popular vision tasks, such as visual object recogn...
ICMI
2003
Springer
13 years 10 months ago
2003
Springer
This paper describes techniques that allow users to collaborate on tablet computers that employ distributed sensing techniques to establish a privileged connection between devices...
SENSYS
2009
ACM
13 years 11 months ago
2009
ACM
Wireless sensor networks have been proposed for many location-dependent applications. In such applications, the requirement of low system cost prohibits many range-based methods f...
CG
2007
Springer
13 years 4 months ago
2007
Springer
With the availability of pen-enabled digital hardware, sketch-based 3D modeling is becoming an increasingly attractive alternative to traditional methods in many design environmen...