2576 search results - page 366 / 516 » The Complexity of Zero Knowledge |
165
Voted
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a modified optimal control model of drug scheduling in cancer chemotherapy and a new adaptive elitist-population based genetic algorithm (AEGA) to solve it. Wo...
193
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
156
Voted
KI
2004
Springer
15 years 11 months ago
2004
Springer
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...
174
Voted
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Resolution-based calculi are among the most widely used calculi for theorem proving in first-order logic. Numerous refinements of resolution are nowadays available, such as e.g. ...
182
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...