Sciweavers

4961 search results - page 79 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
MFCS
2007
Springer
14 years 4 months ago
Combinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-Complete
Abstract. We introduce a new general polynomial-time constructionthe fibre construction- which reduces any constraint satisfaction problem CSP(H) to the constraint satisfaction pr...
Jaroslav Nesetril, Mark H. Siggers
CSL
2003
Springer
14 years 3 months ago
Constraint Satisfaction with Countable Homogeneous Templates
For a fixed countable homogeneous relational structure Γ we study the computational problem whether a given finite structure of the same signature homomorphically maps to Γ. T...
Manuel Bodirsky, Jaroslav Nesetril
POPL
2003
ACM
14 years 10 months ago
The essence of XML
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantic...
Jérôme Siméon, Philip Wadler
LREC
2008
141views Education» more  LREC 2008»
13 years 11 months ago
Building a Corpus of Temporal-Causal Structure
While recent corpus annotation efforts cover a wide variety of semantic structures, work on temporal and causal relations is still in its early stages. Annotation efforts have typ...
Steven Bethard, William Corvey, Sara Klingenstein,...
EUSFLAT
2007
119views Fuzzy Logic» more  EUSFLAT 2007»
13 years 11 months ago
Similarity of Fuzzy Preference Structures Based on Metrics
We generalize the solution of a multicriterial optimization problem which has been given in [5]. They have used a comparison of the criterion fuzzy preference relations and the ge...
Dana Hlinená, Pavol Král