4460 search results - page 458 / 892 » Formal methods for interactive systems |
154
click to vote
COMPSYSTECH
2007
15 years 10 months ago
2007
: A pilot interface system is developed for computer-aided diagnostic and interventional assistance of cardiologists based on clinical trials. The system includes optimized methods...
150
click to vote
ICONIP
2008
15 years 8 months ago
2008
Abstract. We present a biologically inspired vision system able to incrementally learn multiple visual categories by interactively presenting several hand-held objects. The overall...
163
click to vote
CONSTRAINTS
2008
15 years 7 months ago
2008
Camera control techniques for Interactive Digital Entertainment (IDE) are reaching their limits in terms of capabilities. To enable future growth, new methods must be derived to a...
160
click to vote
IJISTA
2008
15 years 6 months ago
2008
: We present a scene acquisition system which allows for fast and simple acquisition of arbitrarily large 3D environments. We propose a small device which acquires and processes fr...
188
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— For a coexisting and collaborative society that incorporates humans and robots, the detection, tracking, and recognition of human motion are indispensable techniques for a robo...