Sciweavers

804 search results - page 52 / 161
» On the Termination of the Chase Algorithm
Sort
View
ESA
2004
Springer
97views Algorithms» more  ESA 2004»
15 years 5 months ago
Radio Network Clustering from Scratch
Abstract. We propose a novel randomized algorithm for computing a dominating set based clustering in wireless ad-hoc and sensor networks. The algorithm works under a model which ca...
Fabian Kuhn, Thomas Moscibroda, Roger Wattenhofer
AAAI
1997
15 years 1 months ago
Effective Bayesian Inference for Stochastic Programs
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
Daphne Koller, David A. McAllester, Avi Pfeffer
83
Voted
ISQED
2003
IEEE
87views Hardware» more  ISQED 2003»
15 years 5 months ago
Coupled Simulation of Circuit and Piezoelectric Laminates
In this paper, an algorithm for the coupled simulation of circuit and piezoelectric laminate devices is presented. A finite element solver for piezoelectric laminates is included ...
Chenggang Xu, Terri S. Fiez, Kartikeya Mayaram
83
Voted
AIML
2004
15 years 1 months ago
On the Modularity of Theories
In this paper we give the notion of modularity of a theory and analyze some of its properties, especially for the case of action theories in reasoning about actions. We propose alg...
Andreas Herzig, Ivan José Varzinczak
SIGIR
2011
ACM
14 years 3 months ago
Faster top-k document retrieval using block-max indexes
Large search engines process thousands of queries per second over billions of documents, making query processing a major performance bottleneck. An important class of optimization...
Shuai Ding, Torsten Suel