8 search results - page 1 / 2 » Many Hands Make Light Work: Localized Satisfiability for Mul... |
81
Voted
ECAI
2004
Springer
15 years 2 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...
102
Voted
CVPR
2007
IEEE
16 years 8 days 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
15 years 3 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...
86
Voted
SENSYS
2009
ACM
15 years 5 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...
74
Voted
CG
2007
Springer
14 years 10 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...