1203 search results - page 125 / 241 » Distinctive and compact features |
126
click to vote
LPAR
2010
Springer
14 years 11 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 ...
96
Voted
RAS
2010
14 years 11 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...
63
Voted
ACL
2010
14 years 10 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...
84
Voted
BIRTHDAY
2010
Springer
14 years 10 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...
130
click to vote
ICANN
2010
Springer
14 years 10 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...