696 search results - page 23 / 140 » Active Disks: Programming Model, Algorithms and Evaluation |
FOSSACS
2011
Springer
13 years 23 days ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
TPDS
2010
13 years 7 months ago
2010
—Various sensor types, e.g., temperature, humidity, and acoustic, sense physical phenomena in different ways, and thus, are expected to have different sensing models. Even for th...
IEEESCC
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we present a comprehensive study on the threats towards the coordination services for Web services business activities and explore the most optimal solution to miti...
IPMI
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. We present a novel method for the segmentation of volumetric images, which is especially suitable for highly variable soft tissue structures. Core of the algorithm is a s...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper addresses the problem of Voice Active Detection (VAD) in noisy environments. We introduce Variational Bayes approach to EM for classification to replace the heuristic ...