6693 search results - page 222 / 1339 » Methods of Automatic Algorithm Generation |
167
click to vote
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
Recent research has found that operators frequently misconfigure Internet services, causing various availability and performance problems. In this paper, we propose a software inf...
171
click to vote
AIPS
2009
15 years 7 months ago
2009
Solving multiagent planning problems modeled as DECPOMDPs is an important challenge. These models are often solved by using dynamic programming, but the high resource usage of cur...
246
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
148
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, a new method for assigning credit to search operators is presented. Starting with the principle of optimizing search bias, search operators are selected based on an...
161
click to vote
AVBPA
2003
Springer
15 years 11 months ago
2003
Springer
Fingerprints are widely used in automatic identity verification systems. The core of such systems is the verification algorithm to match two fingerprints. So far, various method fo...