7167 search results - page 227 / 1434 » A Technique for Invariant Generation |
154
click to vote
AUSAI
2007
Springer
16 years 1 months ago
2007
Springer
The DORIS project (Dialogue Oriented Roaming Interactive System) aims to develop a spoken dialogue module for an autonomous robotic agent. This paper examines the techniques used b...
190
click to vote
GECCO
2005
Springer
16 years 23 days ago
2005
Springer
Ongoing research has established a new methodology for using genetic algorithms [2] to evolve forward and inverse transforms that significantly reduce quantization error in recons...
226
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
We address the problem of realizing communicative plans in graphics. Our approach calls for mapping communicative goals to conceptual tasks and then using task-based graphic desig...
180
click to vote
FOCS
1996
IEEE
15 years 11 months ago
1996
IEEE
A common subproblem of DNF approximate counting and derandomizing RL is the discrepancy problem for combinatorial rectangles. We explicitly construct a poly(n)-size sample space t...
179
click to vote
IWANN
1995
Springer
15 years 10 months ago
1995
Springer
This paper presents a comparative analysis of neural networks, simulated annealing, and genetic algorithms in the determination of input patterns for testing analog circuits. The ...