Sciweavers

1827 search results - page 222 / 366
» Automatic thesaurus construction
Sort
View
171
Voted
ENTCS
2006
113views more  ENTCS 2006»
15 years 3 months ago
A Large-Scale Experiment in Executing Extracted Programs
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
Luís Cruz-Filipe, Pierre Letouzey
181
Voted
CVIU
2007
152views more  CVIU 2007»
15 years 3 months ago
Vision-based human motion analysis: An overview
Markerless vision-based human motion analysis has the potential to provide an inexpensive, non-obtrusive solution for the estimation of body poses. The significant research effo...
Ronald Poppe
129
Voted
JSCIC
2008
71views more  JSCIC 2008»
15 years 3 months ago
Numerical and Statistical Methods for the Coarse-Graining of Many-Particle Stochastic Systems
In this article we discuss recent work on coarse-graining methods for microscopic stochastic lattice systems. We emphasize the numerical analysis of the schemes, focusing on error ...
Markos A. Katsoulakis, Petr Plechác, Luc Re...
110
Voted
JCST
2006
97views more  JCST 2006»
15 years 3 months ago
Image Region Selection and Ensemble for Face Recognition
In this paper, a novel framework for face recognition, namely Selective Ensemble of Image Regions (SEIR), is proposed. In this framework, all possible regions in the face image are...
Xin Geng, Zhi-Hua Zhou
149
Voted
KES
2006
Springer
15 years 3 months ago
Genetic-Fuzzy Modeling on High Dimensional Spaces
In this paper, in order to reduce the explosive increase of the search space as the input dimension grows, we present a new representation method for the structure of fuzzy rules, ...
Joon-Min Gil, SeongHoon Lee