332 search results - page 14 / 67 » Instrumentality Tests Revisited |
LICS
2003
IEEE
14 years 27 days ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
– Minimally invasive surgery (MIS) has become an important technique in practical surgical procedures. Compared with manually operated MIS procedures, surgical robot systems prov...
JASIS
2011
13 years 2 months ago
2011
This paper aims to review the fiercely discussed question of whether the ranking of Wikipedia articles in search engines is justified by the quality of the articles. After an over...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
We present a novel method for detecting the intima and adventitia of carotid artery in B-mode sonographic images. This method simultaneously detects both layers with the anatomic ...
CHI
2002
ACM
14 years 8 months ago
2002
ACM
We introduce the Look Ma No Keyboard user interface, an ergonomic and intuitive method for controlling music sequencing software from a piano controller by adding a momentary foot...