5995 search results - page 901 / 1199 » Algorithmic Game Theory |
150
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
147
click to vote
DOLAP
2006
ACM
15 years 11 months ago
2006
ACM
Mining data warehouses is still an open problem as few approaches really take the specificities of this framework into account (e.g. multidimensionality, hierarchies, historized ...
191
click to vote
SCESM
2006
ACM
15 years 11 months ago
2006
ACM
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...
129
click to vote
SIGIR
2006
ACM
15 years 11 months ago
2006
ACM
Accurate estimation of information retrieval evaluation metrics such as average precision require large sets of relevance judgments. Building sets large enough for evaluation of r...
124
click to vote
SIGIR
2006
ACM
15 years 11 months ago
2006
ACM
Information retrieval algorithms leverage various collection statistics to improve performance. Because these statistics are often computed on a relatively small evaluation corpus...