612 search results - page 60 / 123 » A Dialog Control Algorithm and Its Performance |
113
click to vote
FROCOS
2009
Springer
15 years 9 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
161
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
Particle Swarm Optimisation (PSO) uses a population of particles that fly over the fitness landscape in search of an optimal solution. The particles are controlled by forces tha...
145
Voted
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- In this paper we consider the problem of monitoring a known set of stationary features (or locations of interest) in an environment. To observe a feature, a robot must v...
117
click to vote
SPAA
2005
ACM
15 years 7 months ago
2005
ACM
We study oblivious routing in which the packet paths are constructed independently of each other. We give a simple oblivious routing algorithm for geometric networks in which the ...
145
click to vote
ICDCS
2008
IEEE
15 years 8 months ago
2008
IEEE
Multi-dimensional storage virtualization (MDSV) allows multiple virtual disks, each with a distinct combination of capacity, latency and bandwidth requirements, to be multiplexed ...