2573 search results - page 405 / 515 » Combinations of Modal Logics |
120
click to vote
EVOW
2001
Springer
15 years 9 months ago
2001
Springer
We propose a multi-agent genetic algorithm to accomplish belief revision. The algorithm implements a new evolutionary strategy resulting from a combination of Darwinian and Lamarck...
132
click to vote
PPDP
2001
Springer
15 years 9 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
145
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
In order to understand similarity between images, recent research has focused on adaptable searches [9] and fuzzy queries [4]. However, one of the best means for determining simil...
123
Voted
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
128
click to vote
GLVLSI
1999
IEEE
15 years 9 months ago
1999
IEEE
A novel low power and low transistor count static energy recovery full adder (SERF) is presented in this paper. The power consumption and general characteristics of the SERF adder...