184 search results - page 11 / 37 » Superposition for Fixed Domains |
122
Voted
ECAI
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Statistical relational models, such as Markov logic networks, seek to compactly describe properties of relational domains by representing general principles about objects...
108
Voted
AIPS
2010
15 years 19 days ago
2010
We present a planning domain that encodes the problem of generating natural language sentences. This domain has a number of features that provoke fairly unusual behavior in planne...
CAV
2010
Springer
15 years 19 days ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
106
Voted
ENTCS
2006
15 years 13 days ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
114
Voted
COLING
1996
15 years 1 months ago
1996
Porting a Natural Language Processing (NLP) system to a new domain remains one of the bottlenecks in syntactic parsing, because of the amount of effort required to fix gaps in the...