Sciweavers

4126 search results - page 671 / 826
» Set based logic programming
Sort
View
ICCS
2005
Springer
15 years 3 months ago
Phasing and Missing Data Recovery in Family Trios
Although there exist many phasing methods for unrelated adults or pedigrees, phasing and missing data recovery for data representing family trios is lagging behind. This paper is a...
Dumitru Brinza, Jingwu He, Weidong Mao, Alexander ...
ATVA
2004
Springer
117views Hardware» more  ATVA 2004»
15 years 3 months ago
Component-Wise Instruction-Cache Behavior Prediction
nded Abstract – Oleg Parshin∗ Abdur Rakib† Stephan Thesing∗ Reinhard Wilhelm∗ The precise determination of worst-case execution times (WCETs) for programs is mostly bein...
Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinha...
CP
2004
Springer
15 years 3 months ago
Deriving Filtering Algorithms from Constraint Checkers
Abstract. This article deals with global constraints for which the set of solutions can be recognized by an extended finite automaton whose size is bounded by a polynomial in n, w...
Nicolas Beldiceanu, Mats Carlsson, Thierry Petit
ESTIMEDIA
2004
Springer
15 years 3 months ago
A queuing-theoretic performance model for context-flow system-on-chip platforms
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
Rami Beidas, Jianwen Zhu
ISMIR
2004
Springer
99views Music» more  ISMIR 2004»
15 years 3 months ago
A Hybrid Graphical Model for Aligning Polyphonic Audio with Musical Scores
We present a new method for establishing an alignment between a polyphonic musical score and a corresponding sampled audio performance. The method uses a graphical model containin...
Christopher Raphael