223 search results - page 33 / 45 » New methods and coverage metrics for functional verification |
ISDA
2008
IEEE
14 years 3 months ago
2008
IEEE
In image guided surgery, the registration of preand intra-operative image data is an important issue. In registrations, we seek an estimate of the transformation that registers th...
ICML
2009
IEEE
14 years 9 months ago
2009
IEEE
Ranking a set of retrieved documents according to their relevance to a query is a popular problem in information retrieval. Methods that learn ranking functions are difficult to o...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Major research challenges in discovering Web services include, provisioning of services across multiple or heterogeneous registries, differentiating between services that share si...
DAC
2006
ACM
14 years 9 months ago
2006
ACM
The delay fault test pattern set generated by timing unaware commercial ATPG tools mostly affects very short paths, thereby increasing the escape chance of smaller delay defects. ...
BMCBI
2007
13 years 8 months ago
2007
Using a previously developed automated method for enzyme annotation, we report the reannotation of the ENZYME database and the analysis of local error rates per class. In control ...