4460 search results - page 293 / 892 » Formal methods for interactive systems |
214
click to vote
CA
1996
IEEE
15 years 10 months ago
1996
IEEE
We describe tools that use measurements from video for the extraction of facial modeling and animation parameters, head tracking, and real-time interactive facial animation. These...
177
click to vote
VL
1992
IEEE
15 years 10 months ago
1992
IEEE
Automatic graphic objectlayout methods havelong been studied in many application areas in which graphic objects should be laid out to satisfy the constraints specific to each appl...
177
click to vote
DFN
2009
15 years 7 months ago
2009
: While more and more applications require higher network bandwidth, there is also a tendency that large portions of this bandwidth are misused for dubious purposes, such as unauth...
230
click to vote
AAMAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...
156
click to vote
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...