3825 search results - page 640 / 765 » The Language of Time: A Reader |
AMDO
2008
Springer
15 years 4 hour ago
2008
Springer
Abstract. This paper describes our ongoing research work on deviceless interaction using hand gesture recognition with a calibrated stereo system. Video-based interaction is one of...
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
In order to prevent misunderstandings within groups of interacting agents, it is necessary to ensure that the agents' beliefs regarding the overall state of the interaction a...
101
click to vote
DEXAW
2005
IEEE
14 years 12 months ago
2005
IEEE
Data mining applications are typically used in the decision making process. The Knowledge Discovery Process (KDD process for short) is a typical iterative process, in which not on...
ECLIPSE
2005
ACM
14 years 12 months ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
CP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...