Sciweavers

1240 search results - page 18 / 248
» Composition with Target Constraints
Sort
View
61
Voted
CONCUR
2009
Springer
15 years 4 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 3 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
71
Voted
MICCAI
2009
Springer
15 years 10 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 3 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
15 years 10 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, ...