566 search results - page 94 / 114 » Solution Reuse in Dynamic Constraint Satisfaction Problems |
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
109
Voted
AUTOMATICA
2004
15 years 7 days ago
2004
Ellipsoidal outer-bounding of the set of all feasible state vectors under model uncertainty is a natural extension of state estimation for deterministic models with unknown-but-bo...
100
Voted
BMCBI
2010
15 years 14 days ago
2010
Background: High throughput sequencing (HTS) platforms produce gigabases of short read (<100 bp) data per run. While these short reads are adequate for resequencing application...
100
Voted
KBSE
2002
IEEE
15 years 5 months ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
103
Voted
VLDB
2004
ACM
15 years 5 months ago
2004
ACM
Data-driven animation has become the industry standard for computer games and many animated movies and special effects. In particular, motion capture data recorded from live actor...