3446 search results - page 85 / 690 » A Reasoning Algorithm for pD* |
103
click to vote
ICCBR
1997
Springer
15 years 5 months ago
1997
Springer
Previous work on feature weighting for case-based learning algorithms has tended to use either global weights or weights that vary over extremely local regions of the case space. T...
121
click to vote
BIBM
2007
IEEE
15 years 5 months ago
2007
IEEE
Different databases of metabolic pathways assign pathways different keys. For this reason, it is difficult to automatically compare pathways across databases. We introduce an algo...
213
click to vote
GIS
2009
ACM
16 years 2 months ago
2009
ACM
A parallel version of the plane sweep algorithm targeted towards the small number of processing cores available on commonly available multi-core systems is presented. Experimental...
AES
2000
Springer
15 years 5 months ago
2000
Springer
We analyze the five remaining AES candidate algorithms MARS, RC6, Rijndael, Serpent, and Twofish as well as DES, Triple DES, and IDEA by examining independently developed Java imp...
116
click to vote
CAV
1998
Springer
15 years 5 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...