4460 search results - page 650 / 892 » Formal methods for interactive systems |
168
click to vote
CLIMA
2004
15 years 8 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
198
click to vote
DEBU
2006
15 years 6 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
185
click to vote
CVIU
2007
15 years 6 months ago
2007
Direct use of the hand as an input device is an attractive method for providing natural human–computer interaction (HCI). Currently, the only technology that satisfies the adva...
185
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
In this article we describe a novel approach to collaborative video authoring using handheld projectors. PicoTales are created by sketching story elements on a projector+phone pro...
240
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Attributes are visual concepts that can be detected by machines, understood by humans, and shared across categories. They are particularly useful for fine-grained domains where c...