Sciweavers

3049 search results - page 349 / 610
» On the Convergence of Bound Optimization Algorithms
Sort
View
WWW
2007
ACM
16 years 7 months ago
Optimized query planning of continuous aggregation queries in dynamic data dissemination networks
Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of some ...
Rajeev Gupta, Krithi Ramamritham
CORR
2007
Springer
130views Education» more  CORR 2007»
15 years 6 months ago
Lagrangian Relaxation for MAP Estimation in Graphical Models
Abstract— We develop a general framework for MAP estimation in discrete and Gaussian graphical models using Lagrangian relaxation techniques. The key idea is to reformulate an in...
Jason K. Johnson, Dmitry M. Malioutov, Alan S. Wil...
LPAR
2005
Springer
16 years 4 days ago
Concepts of Automata Construction from LTL
We present an algorithm for the conversion of very weak alternating Büchi automata into nondeterministic Büchi automata (NBA), and we introduce a local optimization criterion fo...
Carsten Fritz
ICOIN
2003
Springer
15 years 12 months ago
ATFRC: Adaptive TCP Friendly Rate Control Protocol
Abstract. TFRC (TCP Friendly Rate Control) is a rate-based congestion control protocol for non-TCP flows. TFRC controls the sending rate by using the TCP throughput equation consi...
Seongho Cho, Heekyoung Woo, Jongwon Lee
FOCM
2010
108views more  FOCM 2010»
15 years 5 months ago
Parallelization Method for a Continuous Property
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
Pawel Pilarczyk