Sciweavers

2509 search results - page 22 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
CLIN
2000
13 years 8 months ago
Alpino: Wide-coverage Computational Analysis of Dutch
Alpino is a wide-coverage computational analyzer of Dutch which aims at accurate, full, parsing of unrestricted text. We describe the head-driven lexicalized grammar and the lexic...
Gosse Bouma, Gertjan van Noord, Rob Malouf
GW
2009
Springer
149views Biometrics» more  GW 2009»
13 years 5 months ago
Systematicity and Idiosyncrasy in Iconic Gesture Use: Empirical Analysis and Computational Modeling
Abstract. Why an iconic gesture takes its particular form is a largely open question, given the variations one finds across both situations and speakers. We present results of an e...
Kirsten Bergmann, Stefan Kopp
CAV
2010
Springer
197views Hardware» more  CAV 2010»
13 years 10 months ago
Abstract Analysis of Symbolic Executions
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha C...
CORR
2010
Springer
152views Education» more  CORR 2010»
13 years 7 months ago
Microlocal Analysis of the Geometric Separation Problem
Image data are often composed of two or more geometrically distinct constituents; in galaxy catalogs, for instance, one sees a mixture of pointlike structures (galaxy supercluster...
David L. Donoho, Gitta Kutyniok
ECCV
2006
Springer
14 years 9 months ago
Geometry and Kinematics with Uncertain Data
Abstract. In Computer Vision applications, one usually has to work with uncertain data. It is therefore important to be able to deal with uncertain geometry and uncertain transform...
Christian Perwass, Christian Gebken, Gerald Sommer