Sciweavers

3167 search results - page 459 / 634
» Algorithmic Representation of Visual Information
Sort
View
100
Voted
CIE
2005
Springer
15 years 7 months ago
Formalising Exact Arithmetic in Type Theory
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
Milad Niqui
103
Voted
CLEF
2010
Springer
15 years 2 months ago
Cross-document Coreference for WePS
A good clustering performance depends on the quality of the distance function used to asses similarity. In this paper we propose a pairwise document coreference model to improve pe...
Iustin Dornescu, Constantin Orasan, Tatiana Lesnik...
TVCG
2008
102views more  TVCG 2008»
15 years 1 months ago
A Statistical Approach to Volume Data Quality Assessment
Quality assessment plays a crucial role in data analysis. In this paper, we present a reduced-reference approach to volume data quality assessment. Our algorithm extracts importan...
Chaoli Wang, Kwan-Liu Ma
MICS
2010
123views more  MICS 2010»
15 years 5 days ago
On the Topology of Real Algebraic Plane Curves
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...
Jinsan Cheng, Sylvain Lazard, Luis Mariano Pe&ntil...
CISS
2010
IEEE
14 years 5 months ago
Compressive sampling for streaming signals with sparse frequency content
Abstract—Compressive sampling (CS) has emerged as significant signal processing framework to acquire and reconstruct sparse signals at rates significantly below the Nyquist rate...
Petros Boufounos, M. Salman Asif