Sciweavers

5608 search results - page 764 / 1122
» On the Theory of Matchgate Computations
Sort
View
CASC
2006
Springer
128views Mathematics» more  CASC 2006»
15 years 10 months ago
New Domains for Applied Quantifier Elimination
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
Thomas Sturm
JOT
2006
73views more  JOT 2006»
15 years 6 months ago
The Initium RJS ScreenSaver: Part 2, UNIX
This paper describes a Java-based screensaver technology for the Initium Remote Job Submission (RJS) system running on UNIX XWindows. Initium RJS is a Java Web Start (JAWS) techno...
Douglas A. Lyon, Francisco Castellanos
CVPR
2009
IEEE
1356views Computer Vision» more  CVPR 2009»
17 years 1 months ago
Average of Synthetic Exact Filters
This paper introduces a class of correlation filters called Average of Synthetic Exact Filters (ASEF). For ASEF, the correlation output is completely specified for each training ...
Bruce A. Draper, David S. Bolme, J. Ross Beveridge
CVPR
1997
IEEE
16 years 8 months ago
Recursive Structure and Motion from Image Sequences using Shape and Depth Spaces
In this paper a novel recursive method for estimating structure and motion from image sequences is presented. The novelty lies in the fact that the output of the algorithm is inde...
Rikard Berthilsson, Anders Heyden, Gunnar Sparr
CVPR
1999
IEEE
1104views Computer Vision» more  CVPR 1999»
16 years 8 months ago
Geodesic Active Contours for Supervised Texture Segmentation
This paper presents a variational method for supervised texture segmentation, which is based on ideas coming from the curve propagation theory. We assume that a preferable texture...
Nikos Paragios, Rachid Deriche