Sciweavers

3379 search results - page 286 / 676
» Powers of Two
Sort
View
ICFP
2003
ACM
16 years 6 months ago
An effective theory of type refinements
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
Yitzhak Mandelbaum, David Walker, Robert Harper
ICCD
2007
IEEE
98views Hardware» more  ICCD 2007»
16 years 3 months ago
Priority-monotonic energy management for real-time systems with reliability requirements
Considering the impact of the popular energy management technique Dynamic Voltage and Frequency Scaling (DVFS) on system reliability, the Reliability-Aware Power Management (RA-PM...
Dakai Zhu, Xuan Qi, Hakan Aydin
MMM
2009
Springer
139views Multimedia» more  MMM 2009»
16 years 3 months ago
Comparison of Feature Construction Methods for Video Relevance Prediction
Low level features of multimedia content often have limited power to discriminate a document’s relevance to a query. This motivated researchers to investigate other types of feat...
Pablo Bermejo, Hideo Joho, Joemon M. Jose, Robert ...
203
Voted
CEC
2009
IEEE
16 years 1 months ago
Dynamic search initialisation strategies for multi-objective optimisation in peer-to-peer networks
Abstract— Peer-to-peer based distributed computing environments can be expected to be dynamic to greater of lesser degree. While node losses will not usually lead to catastrophic...
Ian Scriven, Andrew Lewis, Sanaz Mostaghim
ICASSP
2009
IEEE
16 years 1 months ago
Novel schemes for nonlinear acoustic echo cancellation based on filter combinations
Nonlinear acoustic echo cancellers (NLAEC) are becoming increasingly important in hands-free applications. However, in some situations, an NLAEC is inferior to a linear AEC, espec...
Luis Antonio Azpicueta-Ruiz, Marcus Zeller, Jer&oa...