Sciweavers

1240 search results - page 18 / 248
» Composition with Target Constraints
Sort
View
CONCUR
2009
Springer
15 years 8 months ago
Compositional Control Synthesis for Partially Observable Systems
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
Wouter Kuijper, Jaco van de Pol
IIHMSP
2006
IEEE
147views Multimedia» more  IIHMSP 2006»
15 years 8 months ago
Automatic Real-Time Moving Target Detection from Infrared Video
A novel progressive estimation scheme is proposed to detect moving targets in infrared video sequences in this work. The proposed algorithm does not place constraints on camera mo...
Shahryar Karimi-Ashtiani, C. C. Jay Kuo
MICCAI
2009
Springer
16 years 3 months ago
Probabilistic Region Matching in Narrow-Band Endoscopy for Targeted Optical Biopsy
Recent advances in biophotonics have enabled in-vivo, in-situ histopathology for routine clinical applications. The non-invasive nature of these optical `biopsy' techniques, h...
Selen Atasoy, Ben Glocker, Stamatia Giannarou, ...
IPSN
2004
Springer
15 years 7 months ago
Distributed online localization in sensor networks using a moving target
We describe a novel method for node localization in a sensor network where there are a fraction of reference nodes with known locations. For application-specific sensor networks, ...
Aram Galstyan, Bhaskar Krishnamachari, Kristina Le...
WWW
2009
ACM
16 years 2 months ago
Automated synthesis of composite services with correctness guarantee
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, ...