6020 search results - page 868 / 1204 » A New Approach to Model Counting |
192
click to vote
ICIA
2007
15 years 9 months ago
2007
Although there are high expectations for collaborative discussion and on-line learning, existing systems for on-line discussion and chat facilities are not fully effective in prom...
159
click to vote
APPROX
2008
Springer
15 years 8 months ago
2008
Springer
We give an algorithm that with high probability properly learns random monotone DNF with t(n) terms of length log t(n) under the uniform distribution on the Boolean cube {0, 1}n ....
174
click to vote
CIKM
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a new pooling method for constructing the assessment sets used in the evaluation of retrieval systems. Our proposal is based on RankBoost, a machine learning v...
188
click to vote
AINA
2008
IEEE
15 years 8 months ago
2008
IEEE
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...
163
click to vote
COMPGEOM
2008
ACM
15 years 8 months ago
2008
ACM
Anisotropic meshes are triangulations of a given domain in the plane or in higher dimensions, with elements elongated along prescribed directions. Anisotropic triangulations have ...