396 search results - page 39 / 80 » Combining decision procedures for the reals |
105
click to vote
CVPR
2004
IEEE
16 years 3 months ago
2004
IEEE
A novel region-based progressive stereo matching algorithm is presented. It combines the strengthes of previous region-based and progressive approaches. The progressive framework ...
109
click to vote
ADAEUROPE
1997
Springer
15 years 5 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
ICPR
2004
IEEE
16 years 2 months ago
2004
IEEE
We define a cluster to be characterized by regions of high density separated by regions that are sparse. By observing the downward closure property of density, the search for inte...
108
click to vote
WIMOB
2008
IEEE
15 years 8 months ago
2008
IEEE
The integration of different wireless access technologies combined with the huge characteristic diversity of supported services in next-generation systems creates a real heterogen...
140
click to vote
TIDSE
2004
Springer
15 years 6 months ago
2004
Springer
The Interactive Dilemma is the inevitable conflict between author’s determinism and interactor’s freedom. There are some approaches that try to tackle it, using strategies and...