6926 search results - page 141 / 1386 » A More Effective CEFF |
185
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Symmetries are intrinsic to many combinatorial problems including Boolean Satisfiability (SAT) and Constraint Programming (CP). In SAT, the identification of symmetry breaking pred...
170
click to vote
ICST
2011
IEEE
14 years 10 months ago
2011
IEEE
—Test-suite augmentation for evolving software— the process of augmenting a test suite to adequately test software changes—is necessary for any program that undergoes modifi...
177
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Research on social responses to computers often assesses only first-impression reactions during a single experimental session, providing limited knowledge about the lasting effect...
187
click to vote
IJCAI
2007
15 years 8 months ago
2007
Compiling Bayesian networks has proven an effective approach for inference that can utilize both global and local network structure. In this paper, we define a new method of comp...
158
click to vote
RIAO
2000
15 years 7 months ago
2000
It is a traditional belief that in order to scale-up to more effective retrieval and access methods modern Information Retrieval has to consider more the text content. The modalit...