Sciweavers

1211 search results - page 145 / 243
» Adaptive critics for dynamic optimization
Sort
View
WWW
2003
ACM
16 years 5 months ago
Monitoring the dynamic web to respond to continuous queries
Continuous queries are queries for which responses given to users must be continuously updated, as the sources of interest get updated. Such queries occur, for instance, during on...
Sandeep Pandey, Krithi Ramamritham, Soumen Chakrab...
ICIP
2009
IEEE
16 years 5 months ago
Resource Prediction And Quality Control For Parallel Execution Of Heterogeneous Medical Imaging Tasks
We have established a novel control system for combining the parallel execution of deterministic and non-deterministic medical imaging applications on a single platform, sharing t...
ICMCS
2008
IEEE
119views Multimedia» more  ICMCS 2008»
15 years 11 months ago
Query oriented subspace shifting for near-duplicate image detection
Near-duplicate image detection is a critical task in copyright protection. More challenging than the common similarity search, this task requires not only the retrieval of the top...
Lei Wu, Jing Liu, Nenghai Yu, Mingjing Li
CONCUR
2004
Springer
15 years 10 months ago
A Semantics for Concurrent Separation Logic
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
Stephen D. Brookes
EUC
2006
Springer
15 years 8 months ago
Custom Instruction Generation Using Temporal Partitioning Techniques for a Reconfigurable Functional Unit
Extracting appropriate custom instructions is an important phase for implementing an application on an extensible processor with a reconfigurable functional unit (RFU). Custom inst...
Farhad Mehdipour, Hamid Noori, Morteza Saheb Zaman...