1203 search results - page 125 / 241 » Distinctive and compact features |
160
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
120
click to vote
RAS
2010
15 years 2 months ago
2010
We present empirical results of an auction-based algorithm for dynamic allocation of tasks to robots. The results have been obtained both in simulation and using real robots. A di...
103
click to vote
ACL
2010
15 years 2 months ago
2010
This paper presents a supervised approach for identifying generic noun phrases in context. Generic statements express rulelike knowledge about kinds or events. Therefore, their id...
118
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
163
click to vote
ICANN
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper presents an experimental "morphological analysis" retrieval system for mammograms, using Relevance-Feedback techniques. The features adopted are firs...