3446 search results - page 97 / 690 » A Reasoning Algorithm for pD* |
129
click to vote
APDC
1997
15 years 2 months ago
1997
' An efficient assignment of tasks to the processors is imperative for achieving a fast job turnaround time in a parallel or distributed enviornment. The assignment problem is...
115
click to vote
ICML
2000
IEEE
16 years 2 months ago
2000
IEEE
Landmarking is a novel approach to describing tasks in meta-learning. Previous approaches to meta-learning mostly considered only statistics-inspired measures of the data as a sou...
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Speech processing is typically based on a set of complex algorithms requiring many parameters to be specified. When parts of the speech processing chain do not behave as expected...
122
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Probabilistic Description Logics are the basis of ontologies in the Semantic Web. Knowledge representation and reasoning for these logics have been extensively explored in the last...
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...