Sciweavers

2536 search results - page 338 / 508
» Constructing Optimal Highways
Sort
View
ICDE
2011
IEEE
262views Database» more  ICDE 2011»
14 years 3 months ago
Memory-constrained aggregate computation over data streams
— In this paper, we study the problem of efficiently computing multiple aggregation queries over a data stream. In order to share computation, prior proposals have suggested ins...
K. V. M. Naidu, Rajeev Rastogi, Scott Satkin, Anan...
PLDI
2011
ACM
14 years 2 months ago
Safe optimisations for shared-memory concurrent programs
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
Jaroslav Sevcík
ICCV
2011
IEEE
13 years 12 months ago
Active Geodesics: Region based Active Contour Segmentation with a Global Edge based Constraint
We present an active geodesic contour model in which we constrain the evolving active contour to be a geodesic with respect to a weighted edge-based energy through its entire evol...
Vikram Appia, Anthony Yezzi
CCP
2011
136views more  CCP 2011»
13 years 11 months ago
Fast Implementation of Block Motion Estimation Algorithms in Video Encoders
This project will involve analysing some of the newer fast algorithms in comparison with an exhaustive full search algorithm for motion estimation in video encoders. It will invest...
Naga Rohini Koduri, Mqhele E. Dlodlo, Gerhard de J...
CLIMA
2011
13 years 11 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...