Sciweavers

7522 search results - page 1115 / 1505
» Spacing memetic algorithms
Sort
View
COCO
2009
Springer
113views Algorithms» more  COCO 2009»
15 years 8 months ago
Extractors for Low-Weight Affine Sources
We give polynomial time computable extractors for low-weight affince sources. A distribution is affine if it samples a random points from some unknown low dimensional subspace of ...
Anup Rao
GIS
2009
ACM
15 years 8 months ago
Dynamic network data exploration through semi-supervised functional embedding
The paper presents a framework for semi-supervised nonlinear embedding methods useful for exploratory analysis and visualization of spatio-temporal network data. The method provid...
Alexei Pozdnoukhov
ICB
2007
Springer
159views Biometrics» more  ICB 2007»
15 years 8 months ago
Coarse Iris Classification by Learned Visual Dictionary
Abstract. In state-of-the-art iris recognition systems, the input iris image has to be compared with a large number of templates in database. When the scale of iris database increa...
Xianchao Qiu, Zhenan Sun, Tieniu Tan
AMDO
2006
Springer
15 years 8 months ago
Collision Detection Trough Deconstruction of Articulated Objects
Abstract. Many applications in computer graphics require fast and robust collision detection algorithms. The problem of simulating motion in an articulated chain has been well stud...
Roberto Therón, Vidal Moreno, Belén ...
ATVA
2004
Springer
138views Hardware» more  ATVA 2004»
15 years 8 months ago
Providing Automated Verification in HOL Using MDGs
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
Tarek Mhamdi, Sofiène Tahar
« Prev « First page 1115 / 1505 Last » Next »