Sciweavers

4502 search results - page 551 / 901
» Regular Model Checking
Sort
View
206
Voted
SCALESPACE
2009
Springer
16 years 1 months ago
A Combined Segmentation and Registration Framework with a Nonlinear Elasticity Smoother
In this paper, we present a new non-parametric combined segmentation and registration method. The problem is cast as an optimization one, combining a matching criterion based on th...
Carole Le Guyader, Luminita A. Vese
SG
2009
Springer
16 years 1 months ago
Sketch-Based Interface for Crowd Animation
In this paper, we propose a novel interface for controlling crowd animation. Crowd animation is widely used in movie production and computer games. However, to make an intended cro...
Masaki Oshita, Yusuke Ogiwara
ICALT
2008
IEEE
16 years 1 months ago
A Mobile Toolkit for Placement Learning
Students whose professional qualifications are gained through work placement-based learning are assessed as to their competency to carryout tasks. These students are usually suppo...
Pei Zhang, David E. Millard, Gary B. Wills, Yvonne...
IJCNN
2008
IEEE
16 years 1 months ago
A formula of equations of states in singular learning machines
Abstract— Almost all learning machines used in computational intelligence are not regular but singular statistical models, because they are nonidentifiable and their Fisher info...
Sumio Watanabe
172
Voted
IJCNN
2007
IEEE
16 years 1 months ago
Evaluation of Performance Measures for SVR Hyperparameter Selection
— To obtain accurate modeling results, it is of primal importance to find optimal values for the hyperparameters in the Support Vector Regression (SVR) model. In general, we sea...
Koen Smets, Brigitte Verdonk, Elsa Jordaan