Sciweavers

2184 search results - page 126 / 437
» Modeling and Realizing Interoperability
Sort
View
ECCV
2000
Springer
14 years 10 months ago
3-D Motion and Structure from 2-D Motion Causally Integrated over Time: Implementation
The causal estimation of three-dimensional motion from a sequence of two-dimensional images can be posed as a nonlinear filtering problem. We describe the implementation of an algo...
Alessandro Chiuso, Paolo Favaro, Hailin Jin, Stefa...
FASE
2009
Springer
14 years 3 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli
ICAS
2009
IEEE
148views Robotics» more  ICAS 2009»
14 years 3 months ago
An Observation Framework for Multi-agent Systems
Existing middleware platforms for multi-agent systems (MAS) do not provide general support for observation. On the other hand, observation is considered to be an important mechani...
Joonas Kesaniemi, Artem Katasonov, Vagan Y. Terziy...
ISORC
2008
IEEE
14 years 2 months ago
A Hierarchical Resource Management Scheme Enabled by the TMO Programming Scheme
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...
K. H. (Kane) Kim, Yuqing Li, Kee-Wook Rim, Eltefaa...
DATE
2007
IEEE
114views Hardware» more  DATE 2007»
14 years 2 months ago
Fast positive-real balanced truncation of symmetric systems using cross Riccati equations
We present a computationally efficient implementation of positive-real balanced truncation (PRBT) for symmetric multiple-input multiple-output (MIMO) systems. The solution of a p...
Ngai Wong