2496 search results - page 420 / 500 » On covering by translates of a set |
118
click to vote
MFCS
2010
Springer
15 years 9 days ago
2010
Springer
We address the strategy problem for ω-regular two-player games with partial information, played on finite game graphs. We consider two different kinds of observability on a gene...
116
click to vote
OOPSLA
2010
Springer
15 years 9 days ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
116
Voted
PVLDB
2010
15 years 8 days ago
2010
Independence analysis is the problem of determining whether an update affects the result of a query, e.g. a constraint or materialized view. We develop a new, modular framework fo...
123
click to vote
SPRINGSIM
2010
15 years 8 days ago
2010
This paper presents a distributed Bayesian fault diagnosis scheme for physical systems. Our diagnoser design is based on a procedure for factoring the global system bond graph (BG...
106
click to vote
ACL
2010
14 years 12 months ago
2010
This paper describes a series of experiments to test the hypothesis that the parallel application of multiple NLP tools and the integration of their results improves the correctne...