519 search results - page 45 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
130
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we propose an exact algorithm for the problem of area optimization under a delay constraint in the synthesis of multiplierless FIR filters. To the best of our knowl...
108
Voted
ICLP
1999
Springer
15 years 4 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
84
Voted
CSL
2007
Springer
15 years 15 days ago
2007
Springer
This study is aimed at investigating whether automatic phonetic transcription procedures can approximate manual transcriptions typically delivered with contemporary large speech c...
91
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper presents a standing balance controller. We employ a library of optimal trajectories and the neighboring optimal control method to generate local approximations to th...
92
Voted
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
The method of evolutionary functional testing allows for the automation of testing by transforming test case design into an optimization problem. To this end it is necessary to def...