Sciweavers

1860 search results - page 263 / 372
» A Temporal Logic of Robustness
Sort
View
IJAOSE
2010
126views more  IJAOSE 2010»
13 years 7 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur
ECCTD
2011
72views more  ECCTD 2011»
12 years 9 months ago
Managing variability for ultimate energy efficiency
⎯ Technology scaling is in the era where the chip performance is constrained by its power dissipation. Although the power limits vary with the application domain, they dictate th...
Borivoje Nikolic
CVPR
1997
IEEE
15 years 1 days ago
Stereo Coupled Active Contours
We consider how tracking in stereo may be enhanced by coupling pairs of active contours in different views via affine epipolar geometry and various subsets of planar affine transf...
Tat-Jen Cham, Roberto Cipolla
ICIP
2006
IEEE
14 years 11 months ago
Multi-Focus Imaging using Local Focus Estimation and Mosaicking
We propose an algorithm to generate one multi-focus image from a set of images acquired at different focus settings. First images are registered to avoid large misalignments. Each...
Dmitry Fedorov, Baris Sumengen, B. S. Manjunath
ICIP
2006
IEEE
14 years 11 months ago
Real Time Lip Motion Analysis for a Person Authentication System using Near Infrared Illumination
In this paper we present an approach for lip motion analysis that can be used in conjunction with a person authentication system based on face recognition, to avoid attacks on the...
Faisal Shafait, Ralph Kricke, Islam Shdaifat, Rolf...