305 search results - page 39 / 61 » From Sets to Bits in Coq |
90
Voted
ICIP
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper addresses the problem of compact representation of a 3D scene, captured by distributed omnidirectional cameras. As the images from the sensors are likely to be correlat...
ISCIS
2003
Springer
15 years 4 months ago
2003
Springer
This paper presents a postprocessing technique based on the theory of projections onto convex sets (POCS) to reduce the blocking artifacts in low bit rate BDCT-coded images. In the...
ESEM
2007
ACM
15 years 2 months ago
2007
ACM
In 2005, we studied the development effort and effect of quality comparisons between software development with Fagan's inspection and pair development. Three experiments were...
CIARP
2009
Springer
15 years 2 months ago
2009
Springer
A large number of computer tasks can be modeled as the search for an object near a given query. From multimedia databases to learning algorithms, data mining and pattern recognitio...
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We study the complexity of computing the real solutions of a bivariate polynomial system using the recently proposed algorithm Bisolve [3]. Bisolve is a classical elimination metho...