5255 search results - page 919 / 1051 » Formal Methods for Privacy |
149
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Motion planning for robots with many degrees of freedom requires the exploration of an exponentially large configuration space. Single-query motion planners restrict exploration ...
122
click to vote
WECWIS
2005
IEEE
15 years 9 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
125
Voted
ACMACE
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...
136
click to vote
HT
2005
ACM
15 years 9 months ago
2005
ACM
We describe our approach to the automatic generation of argument structures in the domain of video documentaries. Our approach releases control of the final video sequencing from...
122
click to vote
HT
2005
ACM
15 years 9 months ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...