Sciweavers

4270 search results - page 265 / 854
» A Permutation Approach to Validation
Sort
View
UC
2009
Springer
16 years 1 months ago
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
Frédéric Prost, Chaouki Zerrari
ICMCS
2008
IEEE
165views Multimedia» more  ICMCS 2008»
16 years 1 months ago
Graph cuts by using local texture features of wavelet coefficient for image segmentation
This paper proposes an approach to image segmentation using Iterated Graph Cuts based on local texture features of wavelet coefficient. Using Multiresolution Analysis based on Ha...
Keita Fukuda, Tetsuya Takiguchi, Yasuo Ariki
ICPR
2008
IEEE
16 years 1 months ago
A Mixed Markov model for change detection in aerial photos with large time differences
In the paper we propose a novel multi-layer Mixed Markov model for detecting relevant changes in registered aerial images taken with significant time differences. The introduced ...
Csaba Benedek, Tamás Szirányi
ICRA
2008
IEEE
164views Robotics» more  ICRA 2008»
16 years 1 months ago
Visual servoing set free from image processing
— This paper proposes a new way to achieve robotic tasks by visual servoing. Instead of using geometric features (points, straight lines, pose, homography, etc.) as it is usually...
Christophe Collewet, Éric Marchand, Fran&cc...
IROS
2008
IEEE
155views Robotics» more  IROS 2008»
16 years 1 months ago
Performance evaluation of a vertical line descriptor for omnidirectional images
— In robotics, vertical lines have been always very useful for autonomous robot localization and navigation in structured environments. This paper presents a robust method for ma...
Davide Scaramuzza, Cédric Pradalier, Roland...