Sciweavers

1191 search results - page 128 / 239
» A new approach to nonrepetitive sequences
Sort
View
EMMCVPR
2005
Springer
14 years 4 months ago
Segmentation Informed by Manifold Learning
In many biomedical imaging applications, video sequences are captured with low resolution and low contrast challenging conditions in which to detect, segment, or track features. Wh...
Qilong Zhang, Richard Souvenir, Robert Pless
CAV
1998
Springer
98views Hardware» more  CAV 1998»
14 years 3 months ago
Verification of Timed Systems Using POSETs
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
Wendy Belluomini, Chris J. Myers
IPPS
1996
IEEE
14 years 2 months ago
Self-Timed Resynchronization: A Post-Optimization for Static Multiprocessor Schedules
In a shared-memory multiprocessor system, it is possible that certain synchronization operations are redundant -that is, their corresponding sequencing requirements are enforced c...
Shuvra S. Bhattacharyya, Sundararajan Sriram, Edwa...
BMCBI
2005
70views more  BMCBI 2005»
13 years 10 months ago
Integrating alternative splicing detection into gene prediction
Background: Alternative splicing (AS) is now considered as a major actor in transcriptome/ proteome diversity and it cannot be neglected in the annotation process of a new genome....
Sylvain Foissac, Thomas Schiex
CCE
2005
13 years 10 months ago
Synthesis of separation processes by case-based reasoning
A new approach to separation process synthesis and selection of single separations is presented. The method is based on the reuse of existing design cases by case-based reasoning ...
Timo Seuranen, Markku Hurme, Elina Pajula