3081 search results - page 356 / 617 » A Formal Ontology of Properties |
171
click to vote
CATA
2003
15 years 8 months ago
2003
Visualization research seeks to exploit the human user’s ability to interpret graphical representations of data in order to provide insight into properties of the data that may ...
160
click to vote
CISST
2003
15 years 8 months ago
2003
An approach to conflation/registration of images that does not depend on identifying common points is being developed. It uses the method of algebraic invariants to provide a comm...
149
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
185
click to vote
ACL
1989
15 years 7 months ago
1989
The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an example for a natural deduction 1 style parsing m...
164
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, ...