6020 search results - page 224 / 1204 » A New Approach to Model Counting |
169
click to vote
ICCBR
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
153
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This work describes a forward-looking approach for the solution of dynamic (time-changing) problems using evolutionary algorithms. The main idea of the proposed method is to combi...
145
click to vote
AAAI
2000
15 years 6 months ago
2000
The game of Hex is a two-player game with simple rules, a deep underlying mathematical beauty, and a strategic complexity comparable to that of Chess and Go. The massive game-tree...
103
click to vote
ANLP
2000
15 years 6 months ago
2000
The eventual goal of a language model is to accurately predict the value of a missing word given its context. We present an approach to word prediction that is based on learning a...
140
click to vote
ICDM
2009
IEEE
15 years 2 months ago
2009
IEEE
Anomaly detection is an important data mining task. Most existing methods treat anomalies as inconsistencies and spend the majority amount of time on modeling normal instances. A r...