Sciweavers

7892 search results - page 1422 / 1579
» Programming with Models
Sort
View
IFIP
2004
Springer
15 years 7 months ago
A Formal Approach to Specify and Deploy a Network Security Policy
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
Frédéric Cuppens, Nora Cuppens-Boula...
ISMIR
2004
Springer
159views Music» more  ISMIR 2004»
15 years 7 months ago
Towards an Efficient Algorithm for Automatic Score-to-Audio Synchronization
In the last few years, several algorithms for the automatic alignment of audio and score data corresponding to the same piece of music have been proposed. Among the major drawback...
Meinard Müller, Frank Kurth, Tido Röder
MOZ
2004
Springer
15 years 7 months ago
Implementing Semiring-Based Constraints Using Mozart
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and prefere...
Alberto Delgado, Carlos Alberto Olarte, Jorge Andr...
143
Voted
SCOPES
2004
Springer
15 years 7 months ago
Compact Procedural Implementation in DSP Software Synthesis Through Recursive Graph Decomposition
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattac...
SIGADA
2004
Springer
15 years 7 months ago
Comparative analysis of genetic algorithm implementations
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
Robert Soricone, Melvin Neville
« Prev « First page 1422 / 1579 Last » Next »