4460 search results - page 560 / 892 » Formal methods for interactive systems |
190
click to vote
MIG
2009
Springer
16 years 1 months ago
2009
Springer
The growth of motion capture systems have contributed to the proliferation of human motion database, mainly because human motion is important in many applications, ranging from gam...
192
click to vote
ICRA
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— Vision systems are used more and more in ’personal’ robots interacting with humans, since semantic information about objects and places can be derived from the rich...
161
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
169
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a human-centered picture slideshow system for mobile users. In contrast to conventional ROIs (region-of-interest) detection based systems, we provide mobile us...
162
click to vote
MEMOCODE
2006
IEEE
16 years 20 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...