Sciweavers

2845 search results - page 215 / 569
» Constraints over Ontologies
Sort
View
166
Voted
IJCAI
1993
15 years 8 months ago
Consistency Techniques for Numeric CSPs
Many problems can be expressed in terms of a numeric constraint satisfaction problem over finite or continuous domains (numeric CSP). The purpose of this paper is to show that the...
Olivier Lhomme
JAIR
2008
136views more  JAIR 2008»
15 years 6 months ago
Global Inference for Sentence Compression: An Integer Linear Programming Approach
Sentence compression holds promise for many applications ranging from summarization to subtitle generation. Our work views sentence compression as an optimization problem and uses...
James Clarke, Mirella Lapata
JPDC
2006
106views more  JPDC 2006»
15 years 6 months ago
Computing nearest neighbors in real time
The nearest-neighbor method can successfully be applied to correct possible errors induced into bit strings transmitted over noisy communication channels or to classify samples in...
Marius Nagy, Selim G. Akl
JDA
2010
122views more  JDA 2010»
15 years 1 months ago
Subexponential parameterized algorithms for degree-constrained subgraph problems on planar graphs
We present subexponential parameterized algorithms on planar graphs for a family of problems of the following shape: given a graph, find a connected (induced) subgraph with bounde...
Ignasi Sau, Dimitrios M. Thilikos
CLIMA
2011
14 years 6 months ago
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...
Guido Governatori, Antonino Rotolo