1636 search results - page 81 / 328 » Type-Theoretic Functional Semantics |
109
click to vote
KBS
2007
15 years 3 months ago
2007
In this paper we study the brokering and matchmaking problem, that is, how a requester’s requirements and preferences can be matched against a set of offerings collected by a bro...
135
click to vote
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
High-level, or holistic, scene understanding involves
reasoning about objects, regions, and the 3D relationships
between them. This requires a representation above the
level of ...
119
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
114
click to vote
NLDB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we target document ranking in a highly technical field with the aim to approximate a ranking that is obtained through an existing ontology (knowledge stru...
145
Voted
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...