Sciweavers

9842 search results - page 1412 / 1969
» The Complexity of the Matching-Cut Problem
Sort
View
ATAL
2004
Springer
16 years 17 days ago
Accurate and Flexible Simulation for Dynamic, Vision-Centric Robot
As robots become more complex by incorporating dynamic stability or greater mechanical degrees of freedom, the difficulty of developing control algorithms directly on the robot in...
Jared Go, Brett Browning, Manuela M. Veloso
GECCO
2004
Springer
16 years 16 days ago
Using Interconnection Style Rules to Infer Software Architecture Relations
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
Brian S. Mitchell, Spiros Mancoridis, Martin Trave...
ISMDA
2004
Springer
16 years 16 days ago
Model Selection and Adaptation for Biochemical Pathways
In bioinformatics, biochemical signal pathways can be modeled by many differential equations. It is still an open problem how to fit the huge amount of parameters of the equations...
Rüdiger W. Brause
ISMIR
2004
Springer
159views Music» more  ISMIR 2004»
16 years 16 days 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
LPNMR
2004
Springer
16 years 15 days ago
Simplifying Logic Programs Under Uniform and Strong Equivalence
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...
Thomas Eiter, Michael Fink, Hans Tompits, Stefan W...
« Prev « First page 1412 / 1969 Last » Next »