12257 search results - page 371 / 2452 » Analysis of Algorithms |
137
click to vote
TACAS
1999
Springer
15 years 8 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database speciļ¬cations are mapped to higher-order...
123
click to vote
AI
1999
Springer
15 years 4 months ago
1999
Springer
Stochastic local search (SLS) algorithms have been successfully applied to hard combinatorial problems from different domains. Due to their inherent randomness, the run-time behav...
103
click to vote
BIOINFORMATICS
2010
2010
partDSA: deletion/substitution/addition algorithm for partitioning the covariate space in prediction
15 years 4 months ago
The partDSA package (Molinaro, Lostritto, and Weston 2009) provides a novel recursive partitioning tool for prediction when numerous variables jointly affect the outcome. In such ...
120
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and diļ...
193
click to vote
KR
1994
Springer
15 years 8 months ago
1994
Springer
Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorith...