2714 search results - page 267 / 543 » Under the table interaction |
191
click to vote
HRI
2007
ACM
15 years 10 months ago
2007
ACM
Learning by demonstration can be a powerful and natural tool for developing robot control policies. That is, instead of tedious hand-coding, a robot may learn a control policy by ...
175
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
183
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
169
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
The interplay between arts and HCI has become increasingly commonplace in the past years, offering new opportunities for approaching interaction, but also raising challenges in in...
190
Voted
APVIS
2010
15 years 8 months ago
2010
We present a technique which automatically converts a small number of single-view volume rendered images of the same 3D data set into a compact representation of that data set. Th...