Sciweavers

559 search results - page 83 / 112
» Augmented Marked Graphs
Sort
View
CVPR
2008
IEEE
15 years 1 days ago
3D occlusion recovery using few cameras
We present a practical framework for detecting and modeling 3D static occlusions for wide-baseline, multi-camera scenarios where the number of cameras is small. The framework cons...
Mark A. Keck, James W. Davis
ICCAD
2007
IEEE
106views Hardware» more  ICCAD 2007»
14 years 7 months ago
A general model for performance optimization of sequential systems
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
Dmitry Bufistov, Jordi Cortadella, Michael Kishine...
MODELS
2009
Springer
14 years 4 months ago
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors
Recently, a generic approach for syntax-based user assistance in diagram editors has been proposed that requires the syntax of the visual language to be defined by a graph grammar...
Steffen Mazanek, Mark Minas
CDC
2008
IEEE
14 years 4 months ago
Passivity-based output synchronization and flocking algorithm in SE(3)
Abstract— This paper addresses passivity-based output synchronization and a collision avoidance problem of rigid bodies in the Special Euclidean group SE(3) under the assumption ...
Yuji Igarashi, Takeshi Hatanaka, Masayuki Fujita, ...
ETFA
2006
IEEE
14 years 4 months ago
Synthesis of Distributed Controllers by Means of a Monolithic Approach
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...
Dirk Missal, Hans-Michael Hanisch