Sciweavers

1647 search results - page 237 / 330
» Improved Randomized Approximation Algorithms for Lot-Sizing ...
Sort
View
TIME
2002
IEEE
15 years 9 months ago
Applying Local Search to Temporal Reasoning
Local search techniques have attracted considerable interest in the Artificial Intelligence (AI) community since the development of GSAT [9] and the min-conflicts heuristic [5] ...
John Thornton, Matthew Beaumont, Abdul Sattar, Mic...
CIBCB
2007
IEEE
15 years 11 months ago
Overestimation for Multiple Sequence Alignment
Abstract— Multiple sequence alignment is an important problem in computational biology. A-star is an algorithm that can be used to find exact alignments. We present a simple mod...
Tristan Cazenave
CP
2007
Springer
15 years 11 months ago
On Universal Restart Strategies for Backtracking Search
Abstract. Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomi...
Huayue Wu, Peter van Beek
CBMS
2000
IEEE
15 years 9 months ago
Real-Time Extraction of Carotid Artery Contours from Ultrasound Images
This paper presents the developement of a novel, fullyautomatic tracking and segmentation system to extract the boundary of the carotid artery from ultrasound images in real-time....
Purang Abolmaesumi, Mohammad Reza Sirouspour, S. E...
ASPDAC
1995
ACM
108views Hardware» more  ASPDAC 1995»
15 years 8 months ago
Synthesis-for-testability using transformations
- We address the problem of transforming a behavioral specification so that synthesis of a testable implementation from the new specification requires significantly less area and ...
Miodrag Potkonjak, Sujit Dey, Rabindra K. Roy