4107 search results - page 169 / 822 » The Generalized Lambda Test |
169
click to vote
CLEF
2007
Springer
16 years 21 days ago
2007
Springer
The domain-specific track uses test collections from the social science domain to test monolingual and cross-language retrieval in structured bibliographic databases. Special atte...
173
click to vote
DSD
2006
IEEE
16 years 17 days ago
2006
IEEE
Recently, a number of works have been published on implementing assignment decision diagram models combined with SAT methods to address register-transfer level test pattern genera...
143
click to vote
FPGA
2004
ACM
15 years 12 months ago
2004
ACM
Traditional metrics used to compare hardware designs include area, performance, and power. However, these metrics do not form a complete evaluation of reconfigurable hardware. For...
173
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
148
click to vote
COCOON
2001
Springer
15 years 11 months ago
2001
Springer
A data structure called PC-tree is introduced as a generalization of PQ-trees. PC-trees were originally introduced in a planarity test of Shih and Hsu [7] where they represent par...