3058 search results - page 388 / 612 » From Intelligent Agents to Intelligent Beings |
168
click to vote
IBERAMIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In constraint satisfaction, a general rule is to tackle the hardest part of a search problem first. In this paper, we introduce a parameter (τ) that measures the constr...
167
click to vote
WIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a reflection on the evolution of the different methods for constructing minimal deterministic acyclic finite-state automata from a finite set of words. We ...
167
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
It is generally challenging to design decentralized controllers for swarms of robots because there is often no obvious relation between the individual robot behaviors and the final...
136
click to vote
AIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
140
click to vote
TSP
2010
15 years 1 months ago
2010
An operational framework is developed for testing stationarity relatively to an observation scale, in both stochastic and deterministic contexts. The proposed method is based on a ...