Sciweavers

2800 search results - page 477 / 560
» Fibrational Control Structures
Sort
View
NAR
2007
152views more  NAR 2007»
13 years 8 months ago
COMPASS server for remote homology inference
COMPASS is a method for homology detection and local alignment construction based on the comparison of multiple sequence alignments (MSAs). The method derives numerical profiles f...
Ruslan Sadreyev, Ming Tang, Bong-Hyun Kim, Nick V....
TASLP
2008
110views more  TASLP 2008»
13 years 8 months ago
A Backward-Compatible Multichannel Audio Codec
We propose in this paper a backward-compatible multichannel audio codec. This codec represents a multichannel audio input signal by a down mix and parametric data. In order to enab...
Gerard Hotho, Lars F. Villemoes, Jeroen Breebaart
GG
2010
Springer
13 years 7 months ago
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulr...
IAJIT
2010
166views more  IAJIT 2010»
13 years 7 months ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
ICRA
2010
IEEE
121views Robotics» more  ICRA 2010»
13 years 7 months ago
Actuated bivalve robot study of the burrowing locomotion in sediment
— This paper presents the design and control of an actuated bivalve robot, which has been developed to study the burrowing locomotion of bivalves in sediment. The setup consists ...
Agathe Koller-Hodac, Daniel Peter Germann, Alexand...