Sciweavers

2797 search results - page 473 / 560
» Control Structures
Sort
View
TSE
1998
77views more  TSE 1998»
15 years 2 months ago
Use Case Maps as Architectural Entities for Complex Systems
ABSTRACT. This paper presents a novel, scenario-based notation called Use Case Maps (UCMs) for describing, in a high-level way, how the organizational structure of a complex system...
Raymond J. A. Buhr
TROB
2002
64views more  TROB 2002»
15 years 2 months ago
Synthesis of deadlock prevention supervisors using Petri nets
Given an arbitrary Petri net (PN) structure, which may have uncontrollable and unobservable transitions, the deadlock prevention procedure presented here determines a set of linear...
Marian V. Iordache, John O. Moody, Panos J. Antsak...
TASLP
2008
110views more  TASLP 2008»
15 years 1 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
ICRA
2010
IEEE
121views Robotics» more  ICRA 2010»
15 years 28 days 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...
MICCAI
2010
Springer
15 years 25 days ago
Manifold Learning for Biomarker Discovery in MR Imaging
We propose a framework for the extraction of biomarkers from low-dimensional manifolds representing inter- and intra-subject brain variation in MR image data. The coordinates of ea...
Robin Wolz, Paul Aljabar, Joseph V. Hajnal, Daniel...