3690 search results - page 230 / 738 » Computation with classical sequents |
126
Voted
KI
2009
Springer
15 years 7 months ago
2009
Springer
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
78
Voted
ICMCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Recently great interest has been shown in the visual surveillance of public transportation systems. The challenge is the automated analysis of passenger’s behaviors with a set o...
112
Voted
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— This paper proposes a real-time, robust and efficient 3D model-based tracking algorithm for visual servoing. A virtual visual servoing approach is used for 3D tracking...
91
Voted
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
During the Renaissance there was a growing interest for the use of diagrams within conceptual studies. This paper investigates the historical and philosophical foundation of this r...
ACMDIS
2006
ACM
15 years 6 months ago
2006
ACM
Peripheral awareness systems offer significant promise to help people to manage the abundance of information available to them without placing significant additional demands on ...