Sciweavers

6087 search results - page 747 / 1218
» Knowledge discovery methods
Sort
View
ATS
2009
IEEE
142views Hardware» more  ATS 2009»
16 years 1 months ago
Speeding up SAT-Based ATPG Using Dynamic Clause Activation
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...
Stephan Eggersglüß, Daniel Tille, Rolf ...
HICSS
2009
IEEE
118views Biometrics» more  HICSS 2009»
16 years 1 months ago
FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
Luanne Burns, Timothy Daly
SAC
2009
ACM
16 years 1 months ago
Semantic information and sensor networks
Embedded Networked Sensing involves untethered, networked devices tightly coupled to the physical world, to monitor and interact with it. Raw sensor observation can be annotated w...
Krishnaprasad Thirunarayan, Joshua Pschorr
IROS
2009
IEEE
151views Robotics» more  IROS 2009»
16 years 1 months ago
Stochastic mobility-based path planning in uncertain environments
— The ability of mobile robots to generate feasible trajectories online is an important requirement for their autonomous operation in unstructured environments. Many path generat...
Gaurav Kewlani, Genya Ishigami, Karl Iagnemma
AIME
2009
Springer
16 years 1 months ago
Causal Probabilistic Modelling for Two-View Mammographic Analysis
Abstract. Mammographic analysis is a difficult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...
Marina Velikova, Maurice Samulski, Peter J. F. Luc...