Sciweavers

584 search results - page 23 / 117
» On Applying Set Covering Models to Test Set Compaction
Sort
View
FOSSACS
2004
Springer
14 years 28 days ago
A Game Semantics of Local Names and Good Variables
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
James Laird
SIGIR
2008
ACM
13 years 7 months ago
A study of methods for negative relevance feedback
Negative relevance feedback is a special case of relevance feedback where we do not have any positive example; this often happens when the topic is difficult and the search result...
Xuanhui Wang, Hui Fang, ChengXiang Zhai
ICCAD
1999
IEEE
66views Hardware» more  ICCAD 1999»
13 years 12 months ago
Test scheduling for core-based systems
We present optimal solutions to the test scheduling problem for core-based systems. We show that test scheduling is equivalent to the m-processor open-shop scheduling problem and ...
Krishnendu Chakrabarty
ICPR
2004
IEEE
14 years 8 months ago
Spin Images for Retrieval of 3D Objects by Local and Global Similarity
The ever increasing availability of 3D models demands for tools supporting their effective and efficient management. Among these tools, those enabling content-based retrieval play...
Alberto Del Bimbo, Jürgen Assfalg, Pietro Pal...
COMPSAC
2003
IEEE
14 years 25 days ago
Testing the Suitability of Markov Chains as Web Usage Models
Markov chains have been used to model web usages and served as the basis for statistical testing, performance evaluation, and reliability analysis. However, most of such applicati...
Zhao Li, Jeff Tian