Sciweavers

1018 search results - page 33 / 204
» Property Testing in Computational Geometry
Sort
View
MM
2003
ACM
80views Multimedia» more  MM 2003»
14 years 4 months ago
Position calibration of audio sensors and actuators in a distributed computing platform
In this paper, we present a novel approach to automatically determine the positions of sensors and actuators in an ad-hoc distributed network of heterogeneous general purpose comp...
Vikas C. Raykar, Igor Kozintsev, Rainer Lienhart
DIS
2006
Springer
14 years 2 months ago
Visual Interactive Subgroup Discovery with Numerical Properties of Interest
Abstract. We propose an approach to subgroup discovery using distribution rules (a kind of association rules with a probability distribution on the consequent) for numerical proper...
Alípio Mário Jorge, Fernando Pereira...
BMCBI
2010
179views more  BMCBI 2010»
13 years 11 months ago
A semi-supervised learning approach to predict synthetic genetic interactions by combining functional and topological properties
Background: Genetic interaction profiles are highly informative and helpful for understanding the functional linkages between genes, and therefore have been extensively exploited ...
Zhuhong You, Zheng Yin, Kyungsook Han, De-Shuang H...
VLSID
2009
IEEE
115views VLSI» more  VLSID 2009»
14 years 11 months ago
Efficient Techniques for Directed Test Generation Using Incremental Satisfiability
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
Prabhat Mishra, Mingsong Chen
FATES
2004
Springer
14 years 4 months ago
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
Behzad Bordbar, Kozo Okano