2688 search results - page 157 / 538 » A formal semantics for P3P |
161
click to vote
EMNLP
2007
15 years 8 months ago
2007
In this technical report, we propose the use of Lexicalized Tree-Adjoining Grammar (LTAG) formalism as an important additional source of features for the Semantic Role Labeling (S...
163
click to vote
IJAR
2011
15 years 1 months ago
2011
Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deter...
179
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
209
click to vote
ECEASST
2008
15 years 6 months ago
2008
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
171
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...