Sciweavers

2272 search results - page 8 / 455
» Validity Invariants and Effects
Sort
View
HYBRID
2009
Springer
13 years 11 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
A. Agung Julius, George J. Pappas
ICDAR
2011
IEEE
12 years 7 months ago
Recognizing Characters with Severe Perspective Distortion Using Hash Tables and Perspective Invariants
—In this paper, we present a novel method to recognize characters with severe perspective distortion using hash tables and perspective invariants. The proposed algorithm consists...
Pan Pan, Yuanping Zhu, Jun Sun 0004, Satoshi Naoi
ICRA
2008
IEEE
131views Robotics» more  ICRA 2008»
14 years 1 months ago
New decoupled visual servoing scheme based on invariants from projection onto a sphere
— In this paper a new decoupled imaged-based control scheme is proposed from projection onto a unit sphere. This control scheme is based on moment invariants to 3D rotational mot...
Omar Tahri, François Chaumette, Youcef Mezo...
ISBI
2009
IEEE
14 years 2 months ago
Structural Annotation of EM Images by Graph Cut
Biological images have the potential to reveal complex signatures that may not be amenable to morphological modeling in terms of shape, location, texture, and color. An effective ...
Hang Chang, Manfred Auer, Bahram Parvin
ICASSP
2011
IEEE
12 years 11 months ago
Log-gaussian cox processes of visual keypoints for sonar texture recognition
In this paper, invariant sonar texture characterization for seabed classification is addressed from the spatial distribution of image keypoints using log-Gaussian Cox processes. ...
Huu-Giao Nguyen, Ronan Fablet, Jean-Marc Boucher