2715 search results - page 282 / 543 » An Implementation of Narrowing Strategies |
153
click to vote
EVOW
2001
Springer
15 years 11 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...
188
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
: One of the most important problems in SOC platforms design is that of defining strategies for tuning the parameters of a parameterized system so as to obtain the Pareto-optimal s...
190
click to vote
LOPSTR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
178
click to vote
WELCOM
2001
Springer
15 years 11 months ago
2001
Springer
Looking at the ongoing evolution in electronic commerce there are more and more business models becoming significant. E-shops, e-auctions or etendering are not the only possibiliti...
196
Voted
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
Holonic Manufacturing Systems have emerged over the last seven years as strategy for manufacturing control system design. A new approach called Holonic ComponentBased Architecture...