2150 search results - page 103 / 430 » On a restricted cross-intersection problem |
151
click to vote
PODS
1997
ACM
15 years 8 months ago
1997
ACM
We consider the problem of answering datalog queries using materialized views. The ability to answer queries using views is crucial in the context of information integration. Prev...
103
click to vote
AUTOMATICA
1999
15 years 4 months ago
1999
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
173
click to vote
COLT
2010
Springer
15 years 2 months ago
2010
Springer
We study graph estimation and density estimation in high dimensions, using a family of density estimators based on forest structured undirected graphical models. For density estim...
115
click to vote
EMNLP
2010
15 years 2 months ago
2010
In this paper, we consider the problem of generating candidate corrections for the task of correcting errors in text. We focus on the task of correcting errors in preposition usag...
230
click to vote
TOPLAS
2008
15 years 4 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...