Sciweavers

6306 search results - page 213 / 1262
» Space, Time, and the Use of Language
Sort
View
ICIAR
2004
Springer
15 years 4 months ago
Real-Time Facial Feature Extraction by Cascaded Parameter Prediction and Image Optimization
We propose a new fast facial-feature extraction technique for embedded face-recognition applications. A deformable feature model is adopted, of which the parameters are optimized t...
Fei Zuo, Peter H. N. de With
DAC
2003
ACM
15 years 12 months ago
An O(nlogn) time algorithm for optimal buffer insertion
The classic algorithm for optimal buffer insertion due to van Ginneken has time and space complexity O(n2 ), where n is the number of possible buffer positions. We present a new a...
Weiping Shi, Zhuo Li
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 3 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
68
Voted
HIPC
2005
Springer
15 years 4 months ago
Application of Reduce Order Modeling to Time Parallelization
We recently proposed a new approach to parallelization, by decomposing the time domain, instead of the conventional space domain. This improves latency tolerance, and we demonstrat...
Ashok Srinivasan, Yanan Yu, Namas Chandra
108
Voted
CPM
2004
Springer
108views Combinatorics» more  CPM 2004»
15 years 4 months ago
Quadratic Time Algorithms for Finding Common Intervals in Two and More Sequences
A popular approach in comparative genomics is to locate groups or clusters of orthologous genes in multiple genomes and to postulate functional association between the genes contai...
Thomas Schmidt, Jens Stoye