Sciweavers

1016 search results - page 54 / 204
» Alignment of Polarized Sets
Sort
View
LCPC
2005
Springer
15 years 10 months ago
Concurrency Analysis for Parallel Programs with Textually Aligned Barriers
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
Amir Kamil, Katherine A. Yelick
ISMIR
2004
Springer
99views Music» more  ISMIR 2004»
15 years 9 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
SAT
2004
Springer
158views Hardware» more  SAT 2004»
15 years 9 months ago
Aligning CNF- and Equivalence-Reasoning
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
Marijn Heule, Hans van Maaren
COLING
2008
15 years 5 months ago
Extracting Synchronous Grammar Rules From Word-Level Alignments in Linear Time
We generalize Uno and Yagiura's algorithm for finding all common intervals of two permutations to the setting of two sequences with many-to-many alignment links across the tw...
Hao Zhang, Daniel Gildea, David Chiang
MKWI
2008
130views Business» more  MKWI 2008»
15 years 5 months ago
A Method for Aligning Business Process Modeling and Software Requirements Engineering
: Software engineering provides a rich set of methods and tools that cover the entire engineering process. However, there still exist major problems in integrating methods that add...
Daniel Weiß, Jörg Leukel, Stefan Kirn