Sciweavers

1647 search results - page 237 / 330
» Improved Randomized Approximation Algorithms for Lot-Sizing ...
Sort
View
130
Voted
TIME
2002
IEEE
15 years 7 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 8 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 8 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 6 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...
118
Voted
ASPDAC
1995
ACM
108views Hardware» more  ASPDAC 1995»
15 years 5 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