2477 search results - page 468 / 496 » First-Order Interactive Programming |
147
click to vote
ACIVS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this project we present a framework for a multi-touch surface using multiple cameras. With an overhead camera and side-mounted camera we determine the three dimensiona...
172
click to vote
AIHC
2007
Springer
15 years 10 months ago
2007
Springer
Enabling machines to understand emotions and feelings of the human users in their natural language textual input during interaction is a challenging issue in Human Computing. Our w...
156
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...
152
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
142
click to vote
ICPADS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we utilize a bandwidth-centric job communication model that captures the interaction and impact of simultaneously co-allocating jobs across multiple clusters. We ma...