10870 search results - page 1979 / 2174 » Model Checking Programs |
109
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...
131
click to vote
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— In an effort to ease the burden of programming motor commands for humanoid robots, a computer vision technique is developed for converting a monocular video sequence of human p...
111
click to vote
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— Emotion recognition and adequate reactions are a crucial part of human communication and hence should also be considered for interactions between humans and robots. In this pap...
135
Voted
ISORC
2007
IEEE
15 years 8 months ago
2007
IEEE
As quality of service (QoS)-enabled component middleware technologies gain widespread acceptance to build distributed real-time and embedded (DRE) systems, it becomes necessary fo...
135
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...