Sciweavers

3233 search results - page 509 / 647
» Validation Method for Intelligent Systems
Sort
View
TROB
2002
212views more  TROB 2002»
15 years 6 months ago
Path planning for robust image-based control
Abstract-- Vision feedback control loop techniques are efficient for a large class of applications but they come up against difficulties when the initial and desired robot position...
Youcef Mezouar, François Chaumette
PR
2007
165views more  PR 2007»
15 years 5 months ago
A trainable feature extractor for handwritten digit recognition
This article focusses on the problems of feature extraction and the recognition of handwritten digits. A trainable feature extractor based on the LeNet5 convolutional neural netwo...
Fabien Lauer, Ching Y. Suen, Gérard Bloch
ICIAR
2010
Springer
15 years 5 months ago
Adaptive Regularization Parameter for Graph Cut Segmentation
Abstract. Graph cut minimization formulates the segmentation problem as the liner combination of data and smoothness terms. The smoothness term is included in the energy formulatio...
Sema Candemir, Yusuf Sinan Akgul
IEEEHPCS
2010
15 years 4 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
IJSR
2010
107views more  IJSR 2010»
15 years 4 months ago
Multi-model Hypothesis Group Tracking and Group Size Estimation
Abstract— People in densely populated environments typically form groups that split and merge. In this paper we track groups of people so as to reflect this formation process an...
Boris Lau, Kai Oliver Arras, Wolfram Burgard