Sciweavers

4167 search results - page 556 / 834
» Evolutionary functional testing
Sort
View
PERCOM
2008
ACM
16 years 6 months ago
A Lightweight Sensor Network Management System Design
Abstract--In this paper, we propose a lightweight and transparent management framework for TinyOS sensor networks, called L-SNMS, which minimizes the overhead of management functio...
Fenghua Yuan, Wen-Zhan Song, Nina Peterson, Yang P...
SDM
2009
SIAM
172views Data Mining» more  SDM 2009»
16 years 3 months ago
Travel-Time Prediction Using Gaussian Process Regression: A Trajectory-Based Approach.
This paper is concerned with the task of travel-time prediction for an arbitrary origin-destination pair on a map. Unlike most of the existing studies, which focus only on a parti...
Sei Kato, Tsuyoshi Idé
PADL
2010
Springer
16 years 3 months ago
Conversion by Evaluation
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
Mathieu Boespflug
ISBI
2009
IEEE
16 years 1 months ago
Accurate and Fast 3D Colon Segmentation in CT Colonography
This paper introduces an adaptive level set method for 3D segmentation of colon tissue in CT colonography filled with air and opacified fluid. First, most of the opacified liq...
Dongqing Chen, Rachid Fahmi, Aly A. Farag, Robert ...
ICML
2009
IEEE
16 years 1 months ago
Learning linear dynamical systems without sequence information
Virtually all methods of learning dynamic systems from data start from the same basic assumption: that the learning algorithm will be provided with a sequence, or trajectory, of d...
Tzu-Kuo Huang, Jeff Schneider