Sciweavers

1690 search results - page 202 / 338
» Applications of Metric Coinduction
Sort
View
DSD
2010
IEEE
153views Hardware» more  DSD 2010»
13 years 9 months ago
Simulation of High-Performance Memory Allocators
—Current general-purpose memory allocators do not provide sufficient speed or flexibility for modern highperformance applications. To optimize metrics like performance, memory us...
José Luis Risco-Martín, José ...
CVIU
2010
155views more  CVIU 2010»
13 years 9 months ago
Illumination-robust variational optical flow using cross-correlation
We address the problem of variational optical flow for video processing applications that need fast operation and robustness to drastic variations in illumination. Recently, a sol...
József Molnár, Dmitry Chetverikov, S...
AI
2005
Springer
13 years 9 months ago
Towards a practical theory of reformulation for reasoning about physical systems
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlra...
INTERNET
2007
103views more  INTERNET 2007»
13 years 9 months ago
Publish-Subscribe Information Delivery with Substring Predicates
The content-based publish/subscribe (pub/sub)paradigm for system design is becoming increasingly popular, offering unique benefits for a large number of data-intensive applicatio...
Ioannis Aekaterinidis, Peter Triantafillou
PE
2002
Springer
107views Optimization» more  PE 2002»
13 years 9 months ago
Multi-path continuous media streaming: what are the benefits?
Quality of service (QoS) in delivery of continuous media (CM) over the Internet is still relatively poor and inconsistent. Although many such applications can tolerate some degree...
Leana Golubchik, John C. S. Lui, Tak Fu Tung, Alix...