8746 search results - page 566 / 1750 » Diversifying search results |
152
Voted
HIPC
2005
Springer
16 years 24 days ago
2005
Springer
A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we present a snap-stabilizing protocol which detects ...
184
Voted
ISMIS
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Music is not only a set of sounds, it evokes emotions, subjectively perceived by listeners. The growing amount of audio data available on CDs and in the Internet wakes up...
198
Voted
WAIM
2005
Springer
16 years 23 days ago
2005
Springer
This paper analyzes the simulation of Finite State mobile agent, which regards the migration, execution, and searching of the mobile agents as finite states. As the finite state mo...
231
click to vote
AISC
2004
Springer
16 years 21 days ago
2004
Springer
Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. Howev...
209
Voted
IPPS
2003
IEEE
16 years 17 days ago
2003
IEEE
Planning is an artificial intelligence problem with a wide range of real-world applications. Genetic algorithms, neural networks, and simulated annealing are heuristic search met...