523 search results - page 71 / 105 » Online Testing of Real-time Systems Using Uppaal |
MICCAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Vitreoretinal surgeons use 0.5mm diameter instruments to manipulate delicate tissue inside the eye while applying imperceptible forces that can cause damage to the retina...
PRL
2006
13 years 7 months ago
2006
This paper considers the problem of designing an active observer to plan a sequence of decisions regarding what target to look at, through a foveal-sensing action. We propose a fr...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Web-based communities have become important places for people to seek and share expertise. We find that networks in these communities typically differ in their topology from other...
ISCA
2008
IEEE
14 years 2 months ago
2008
IEEE
As CMOS technology scales and more transistors are packed on to the same chip, soft error reliability has become an increasingly important design issue for processors. Prior resea...
SIGIR
2003
ACM
14 years 27 days ago
2003
ACM
Information retrieval system evaluation is complicated by the need for manually assessed relevance judgments. Large manually-built directories on the web open the door to new eval...