Sciweavers

12783 search results - page 453 / 2557
» Experimenting with computing
Sort
View
BC
1999
100views more  BC 1999»
15 years 6 months ago
A mathematical model of the adaptive control of human arm motions
Abstract. This paper discusses similarities between models of adaptive motor control suggested by recent experiments with human and animal subjects, and the structure of a new cont...
Robert M. Sanner, Makiko Kosha
LPNMR
2011
Springer
14 years 9 months ago
What Are the Necessity Rules in Defeasible Reasoning?
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...
Ho-Pun Lam, Guido Governatori
ATVA
2011
Springer
295views Hardware» more  ATVA 2011»
14 years 6 months ago
Parallel Nested Depth-First Searches for LTL Model Checking
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
Sami Evangelista, Laure Petrucci, Samir Youcef
CVPR
2006
IEEE
16 years 26 days ago
A Generalized EM Approach for 3D Model Based Face Recognition under Occlusions
This paper describes an algorithm for pose and illumination invariant face recognition from a single image under occlusions. The method iteratively estimates the parameters of a 3...
Michael De Smet, Rik Fransens, Luc J. Van Gool
CVPR
2005
IEEE
16 years 8 months ago
A Cross-Validatory Statistical Approach to Scale Selection for Image Denoising by Nonlinear Diffusion
Scale-spaces induced by diffusion processes play an important role in many computer vision tasks. Automatically selecting the most appropriate scale for a particular problem is a ...
George Papandreou, Petros Maragos