834 search results - page 121 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
103
click to vote
SIGMOD
1996
ACM
15 years 4 months ago
1996
ACM
Decision support applications involve complex queries on very large databases. Since response times should be small, query optimization is critical. Users typically view the data ...
101
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Discrete temporal transitions occur in a variety of domains, but this work is mainly motivated by applications in molecular biology: explaining and analyzing observed transcriptome...
132
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract— In this paper, we propose a novel, effective and efficient probabilistic pruning criterion for probabilistic similarity queries on uncertain data. Our approach support...
113
click to vote
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
—Peer-to-peer (P2P) file sharing systems are becoming increasingly popular due to their flexibility and scalability. We propose a new model to design file replication schemes ...