3387 search results - page 610 / 678 » Model-Checking for Real-Time Systems |
170
click to vote
ECUMN
2007
Springer
16 years 24 days 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...
206
click to vote
ICWL
2007
Springer
16 years 23 days 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...
137
click to vote
IPOM
2007
Springer
16 years 23 days 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...
194
click to vote
3DPVT
2006
IEEE
16 years 21 days 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...
176
click to vote
ICRA
2006
IEEE
16 years 20 days 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...