Sciweavers

490 search results - page 61 / 98
» Practical Extensions to the IFDS Algorithm
Sort
View
VLDB
2007
ACM
181views Database» more  VLDB 2007»
14 years 9 months ago
STAR: Self-Tuning Aggregation for Scalable Monitoring
We present STAR, a self-tuning algorithm that adaptively sets numeric precision constraints to accurately and efficiently answer continuous aggregate queries over distributed data...
Navendu Jain, Michael Dahlin, Yin Zhang, Dmitry Ki...
CVPR
2010
IEEE
14 years 5 months ago
A Game-Theoretic Approach to Fine Surface Registration without Initial Motion Estimation
Surface registration is a fundamental step in the reconstruction of three-dimensional objects. This is typically a two step process where an initial coarse motion estimation is fo...
Andrea Albarelli, Andrea Torsello, Emanuele Rodol
TACAS
2010
Springer
191views Algorithms» more  TACAS 2010»
14 years 3 months ago
Blocked Clause Elimination
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
Matti Järvisalo, Armin Biere, Marijn Heule
DATE
2009
IEEE
129views Hardware» more  DATE 2009»
14 years 3 months ago
Improved performance and variation modelling for hierarchical-based optimisation of analogue integrated circuits
A new approach in hierarchical optimisation is presented which is capable of optimising both the performance and yield of an analogue design. Performance and yield trade offs are ...
Sawal Ali, Li Ke, Reuben Wilcock, Peter Wilson
INFOCOM
2009
IEEE
14 years 3 months ago
Link Scheduling with QoS Guarantee for Wireless Relay Networks
—The emerging wireless relay networks (WRNs) are expected to provide significant improvement on throughput and extension of coverage area for next-generation wireless systems. W...
Chi-Yao Hong, Ai-Chun Pang