4636 search results - page 407 / 928 » Modelling and Validation with VipTool |
158
click to vote
MKM
2004
Springer
16 years 9 days ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
146
click to vote
ICDAR
2003
IEEE
16 years 7 days ago
2003
IEEE
In this paper, a new method of composing a multiclass classifier using pairwise classifiers is proposed. A “Resemblance Model” is exploited to calculate a posteriori probabili...
151
click to vote
LAWEB
2003
IEEE
16 years 7 days ago
2003
IEEE
We perform a clustering of the Chilean Web Graph using a local fitness measure, optimized by simulated annealing, and compare the obtained cluster distribution to that of two mod...
168
click to vote
CAISE
2003
Springer
16 years 5 days ago
2003
Springer
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...
160
click to vote
3DPVT
2002
IEEE
15 years 12 months ago
2002
IEEE
We present a method for the reconstruction of a 3D real object from a sequence of high-definition images. We combine two different procedures: a shape from silhouette technique w...