7811 search results - page 420 / 1563 » computer 2004 |
138
click to vote
IWCIA
2004
Springer
16 years 3 days ago
2004
Springer
This paper describes a new algorithm of computing the convex hull of a 3-dimensional object. The convex hull generated by this algorithm stract polyhedron being described by a new ...
155
click to vote
IWPEC
2004
Springer
16 years 3 days ago
2004
Springer
We show that, for every finite field , the class of all representable matroids of branch-width at most a constant t has a decidable MSO theory. In the other direction, we p...
159
click to vote
KI
2004
Springer
16 years 3 days ago
2004
Springer
Integration of new utterances into context is a central task in any model for rational (human-machine) dialogues in natural language. In this paper, a pragmatics-first approach to...
156
click to vote
LPNMR
2004
Springer
16 years 3 days ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...
169
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
We develop an Answer Set Programming formalism based on Default Logic. We show that computing generating sets of extensions in this formalism captures all ΣP 2 search problems.