3387 search results - page 610 / 678 » Model-Checking for Real-Time Systems |
ECUMN
2007
Springer
14 years 3 months ago
2007
Springer
After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...
ICWL
2007
Springer
14 years 3 months ago
2007
Springer
Web-based 3D facial animation is an alternative of face to face communication. Animating 3D human faces is also a difficult task because of the substantive non-rigid facial motions...
IPOM
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a full video delivery network monitoring suite. Our monitoring tool offers a new view of a video delivery network, a view based on the quality perceived by fi...
3DPVT
2006
IEEE
14 years 2 months ago
2006
IEEE
Interactive network-based navigation over large urban environments raises difficult problems due to the size and complexity of these scenes. In this paper, we present a clientser...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
— Robotics technology promises an enhanced way of performing off-pump coronary artery bypass graft (CABG) surgery. In the robotic-assisted CABG surgery, surgeon performs the oper...