Sciweavers

4181 search results - page 270 / 837
» Evaluating Usefulness for Dynamic Classification
Sort
View
145
Voted
FLAIRS
2007
15 years 7 months ago
Dynamic DDN Construction for Lightweight Planning Architectures
POMDPs are a popular framework for representing decision making problems that contain uncertainty. The high computational complexity of finding exact solutions to POMDPs has spaw...
William H. Turkett
BIRTHDAY
2010
Springer
15 years 4 months ago
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
Moa Johansson, Lucas Dixon, Alan Bundy
ICASSP
2011
IEEE
14 years 8 months ago
Analysis-synthesis based speech enhancement with improved spectrum envelope estimation by tracking speech dynamics
This paper presents a Kalman tracking approach to re-estimate clean spectral amplitude from noisy speech spectrum for re-synthesis based speech enhancement. The motivation of usin...
Ruofei Chen, Cheung-Fat Chan
156
Voted
EUROSYS
2006
ACM
16 years 1 months ago
Database replication policies for dynamic content applications
The database tier of dynamic content servers at large Internet sites is typically hosted on centralized and expensive hardware. Recently, research prototypes have proposed using d...
Gokul Soundararajan, Cristiana Amza, Ashvin Goel
174
Voted
VEE
2012
ACM
252views Virtualization» more  VEE 2012»
14 years 5 days ago
libdft: practical dynamic data flow tracking for commodity systems
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
Vasileios P. Kemerlis, Georgios Portokalidis, Kang...