1179 search results - page 223 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
The management of healthcare organizations starts to recognize the relevance of the definition of care products in relation to management information. In the turmoil between costs...
104
click to vote
HICSS
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
FGR
1996
IEEE
15 years 1 months ago
1996
IEEE
In this paper we rst describe how we have constructed a 3D deformable Point Distribution Model of the human hand, capturing training data semi-automatically from volume images via...
80
Voted
ISMIR
2000
Springer
15 years 1 months ago
2000
Springer
One major task of a digital music library (DML) is to provide techniques to locate a queried musical pattern in all pieces of music in the database containing that pattern. For a ...
USENIX
2007
14 years 11 months ago
2007
Data Structure Abstractions for Asynchronous Web Applications Daniel S. Myers MIT CSAIL Jennifer N. Carlisle MIT CSAIL James A. Cowling MIT CSAIL Barbara H. Liskov MIT CSAIL The c...