5015 search results - page 879 / 1003 » Model Checking a Path |
ICPP
2007
IEEE
14 years 4 months ago
2007
IEEE
The real-time image forming in future, high-end synthetic aperture radar systems is an example of an application that puts new demands on computer architectures. The initial quest...
INFOCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— VoIP has widely been addressed as the technology that will change the Telecommunication model opening the path for convergence. Still today this revolution is far from being co...
INFOCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
We consider an ad-hoc wireless network operating within a free market economic model. Users send data over a choice of paths, and scheduling and routing decisions are updated dyna...
IROS
2007
IEEE
14 years 4 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...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— As robots are gradually leaving highly structured factory environments and moving into human populated environments, they need to possess more complex cognitive abilities. Not ...