9730 search results - page 230 / 1946 » Relating models of backtracking |
129
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
168
click to vote
EOR
2008
15 years 4 months ago
2008
We present a new method, called UTAGMS , for multiple criteria ranking of alternatives from set A using a set of additive value functions which result from an ordinal regression. ...
193
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Domain adaptation refers to the process of adapting an extraction model trained in one domain to another related domain with only unlabeled data. We present a brief survey of exis...
139
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
124
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Expressive knowledge representations with flexible semantic similarity measures are central for the functioning of semantic information retrieval, information integration, matchmak...