Sciweavers

2356 search results - page 131 / 472
» Characterizations of postman sets
Sort
View
SIGMOD
2002
ACM
134views Database» more  SIGMOD 2002»
16 years 4 months ago
QURSED: querying and reporting semistructured data
QURSED enables the development of web-based query forms and reports (QFRs) that query and report semistructured XML data, i.e., data that are characterized by nesting, irregularit...
Yannis Papakonstantinou, Michalis Petropoulos, Vas...
AI
2008
Springer
15 years 4 months ago
On the notion of concept I
It is well known that classical set theory is not expressive enough to adequately model categorization and prototype theory. Recent work on compositionality and concept determinat...
Michael Freund
MSS
2008
IEEE
96views Hardware» more  MSS 2008»
15 years 4 months ago
Farsighted coalitional stability in TU-games
Abstract. We study farsighted coalitional stability in the context of TUgames. Chwe (1994, p.318) notes that, in this context, it is difficult to prove nonemptiness of the largest ...
Sylvain Béal, Jacques Durieu, Philippe Sola...
MFCS
1998
Springer
15 years 8 months ago
Facial Circuits of Planar Graphs and Context-Free Languages
It is known that a language is context-free iff it is the set of borders of the trees of recognizable set, where the border of a (labelled) tree is the word consisting of its leaf ...
Bruno Courcelle, Denis Lapoire
216
Voted
ICLP
2009
Springer
16 years 5 months ago
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
Martin Gebser, Roland Kaminski, Benjamin Kaufmann,...