Sciweavers

4346 search results - page 826 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
ENTCS
2010
88views more  ENTCS 2010»
14 years 12 months ago
On the Observable Behaviour of Composite Components
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...
Rolf Hennicker, Stephan Janisch, Alexander Knapp
ENTCS
2006
109views more  ENTCS 2006»
14 years 11 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
JUCS
2008
196views more  JUCS 2008»
14 years 11 months ago
Information Integration for the Masses
Abstract: Information integration applications combine data from heterogeneous sources to assist the user in solving repetitive data-intensive tasks. Currently, such applications r...
Jim Blythe, Dipsy Kapoor, Craig A. Knoblock, Krist...
PAMI
2006
106views more  PAMI 2006»
14 years 11 months ago
Statistical Analysis of Dynamic Actions
Real-world action recognition applications require the development of systems which are fast, can handle a large variety of actions without a priori knowledge of the type of actio...
Lihi Zelnik-Manor, Michal Irani
TIP
2008
90views more  TIP 2008»
14 years 11 months ago
Synthetic Aperture Hitchhiker Imaging
We introduce a novel synthetic-aperture imaging method for radar systems that rely on sources of opportunity. We consider receivers that fly along arbitrary, but known, flight traj...
Can Evren Yarman, Birsen Yazici