2059 search results - page 87 / 412 » Interactive Sensor Planning |
CADE
2003
Springer
14 years 8 months ago
2003
Springer
IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
EXPERT
2002
13 years 7 months ago
2002
ABL is a reactive planning language, based on the Oz Project language Hap, designed specifically for authoring believable agents - characters which express rich personality, and w...
ISMAR
2009
IEEE
14 years 2 months ago
2009
IEEE
Generating 3D models of real world objects is a common task during development of any augmented reality application. This paper describes how ProFORMA (Probabilistic Feature-based...
ISWC
2000
IEEE
14 years 8 days ago
2000
IEEE
Implicit human computer interaction is based on the concept of using user activity in the real world as input to computers. Implicit HCI can help to reduce the problem of user inp...