5600 search results - page 383 / 1120 » Synthesizing robust systems |
169
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper describes a novel hand-based verification system based on palm-finger segmentation and fusion. The proposed system operates on 2D hand images acquired by placing the ha...
178
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Epipolar geometry and relative camera pose computation are examples of tasks which can be formulated as minimal problems and solved from a minimal number of image points. Finding ...
190
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
163
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
As organization-based multiagent systems are applied to more complex problems, configuring and tuning the systems can become nearly as complex as the original problem a system wa...
193
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Volume intersection is a frequently used technique to solve the Shape-From-Silhouette problem, which constructs a 3D object estimate from a set of silhouettes taken with calibrate...