Sciweavers

4767 search results - page 378 / 954
» Structures for Abstract Rewriting
Sort
View
213
Voted
AAAI
2007
15 years 9 months ago
Recognizing Textual Entailment Using a Subsequence Kernel Method
We present a novel approach to recognizing Textual nt. Structural features are constructed from abstract tree descriptions, which are automatically extracted from syntactic depend...
Rui Wang 0005, Günter Neumann
184
Voted
WSC
2007
15 years 9 months ago
Guiding principles for conceptual model creation in manufacturing simulation
Conceptual models serve as abstractions of user’s perceptions of a system. The choice and detailing of these abstractions are key to model use and understanding for analyst and ...
Durk-Jouke van der Zee, Jack G. A. J. van der Vors...
COMPGEOM
2005
ACM
15 years 9 months ago
Inclusion-exclusion formulas from independent complexes
Using inclusion-exclusion, we can write the indicator function of a union of finitely many balls as an alternating sum of indicator functions of common intersections of balls. We...
Dominique Attali, Herbert Edelsbrunner
ACSW
2007
15 years 9 months ago
DGRID: A DHT-Based Resource Indexing and Discovery Scheme for Computational Grids
Traditional DHT (Distributed Hash Tables) abstraction distributes data items among peer nodes on a structured overlay network. This introduces a number of issues when nodes are un...
Verdi March, Yong Meng Teo, Xianbing Wang
204
Voted
DAGSTUHL
2007
15 years 9 months ago
A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning
Abstract. This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and pdate are investigated within an abstr...
Gabriele Kern-Isberner