Sciweavers

9888 search results - page 207 / 1978
» Active Algorithm Selection
Sort
View
ATS
2009
IEEE
142views Hardware» more  ATS 2009»
15 years 10 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 ...
ICESS
2004
Springer
15 years 8 months ago
Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
Qingxu Deng, Mingsong Lv, Ge Yu
AMC
2006
106views more  AMC 2006»
15 years 3 months ago
Selecting two different defective coins
In this paper, given a balance scale and the information that there are exactly two different defective coins present, the authors consider the problem of ascertaining the minimum...
Mingnan Qi, Sanyang Liu
ISVC
2009
Springer
15 years 9 months ago
Deconvolving Active Contours for Fluorescence Microscopy Images
Abstract. We extend active contours to constrained iterative deconvolution by replacing the external energy function with a model-based likelihood. This enables sub-pixel estimatio...
Jo A. Helmuth, Ivo F. Sbalzarini
HCI
2007
15 years 4 months ago
GART: The Gesture and Activity Recognition Toolkit
The Gesture and Activity Recognition Toolit (GART) is a user interface toolkit designed to enable the development of gestureplications. GART provides an abstraction to machine lear...
Kent Lyons, Helene Brashear, Tracy L. Westeyn, Jun...