Sciweavers

1160 search results - page 52 / 232
» Revisiting the Sequence Constraint
Sort
View
COMPSAC
2008
IEEE
16 years 20 days ago
Constraint Reasoning in Path-Oriented Random Testing
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
Arnaud Gotlieb, Matthieu Petit
SMA
2003
ACM
15 years 11 months ago
Geometric constraint solving via C-tree decomposition
This paper has two parts. First, we propose a method which can be used to decompose a geometric constraint graph into a c-tree. With this decomposition, solving for a well-constrai...
Xiao-Shan Gao, Gui-Fang Zhang
WSCG
2004
118views more  WSCG 2004»
15 years 7 months ago
New Method for Geometric Constraint Solving Based on the Genetic Quantum Algorithm
This paper proposes a novel genetic quantum algorithm (GQA) to solve geometric constraint problems. Instead of binary, numeric or symbolic representation, we introduce qubit chrom...
Chunhong Cao, Wenhui Li
IJCV
1998
121views more  IJCV 1998»
15 years 5 months ago
Continuous Time Matching Constraints for Image Streams
Corresponding image points of a rigid object in a discrete sequence of images fulfil the so-called multilinear constraint. In this paper the continuous time analogue of this const...
Kalle Åström, Anders Heyden
ICPR
2002
IEEE
16 years 7 months ago
Stereo Tracking Using ICP and Normal Flow Constraint
This paper presents a new approach for 3D view registration of stereo images. We introduce a hybrid error function which combines constraints from the ICP (Iterative Closest Point...
Louis-Philippe Morency, Trevor Darrell