Sciweavers

798 search results - page 15 / 160
» Interval Methods: An Introduction
Sort
View
GECCO
2004
Springer
14 years 3 months ago
Experimental Evaluation of Discretization Schemes for Rule Induction
This paper proposes an experimental evaluation of various discretization schemes in three different evolutionary systems for inductive concept learning. The various discretization...
Jesús S. Aguilar-Ruiz, Jaume Bacardit, Fede...
CPM
2009
Springer
127views Combinatorics» more  CPM 2009»
14 years 4 months ago
Deconstructing Intractability: A Case Study for Interval Constrained Coloring
The NP-hard Interval Constrained Coloring problem appears in the interpretation of experimental data in biochemistry dealing with protein fragments. Given a set of m integer interv...
Christian Komusiewicz, Rolf Niedermeier, Johannes ...
JSAI
2001
Springer
14 years 2 months ago
Optimistic Priority Weights with an Interval Comparison Matrix
: AHP is proposed to give the importance grade with respect to many items. The comparison value that is the element of a comparison matirx is used to be crisp, however, it is easy ...
Tomoe Entani, Hidetomo Ichihashi, Hideo Tanaka
ZUM
2005
Springer
176views Formal Methods» more  ZUM 2005»
14 years 3 months ago
CZT: A Framework for Z Tools
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
Petra Malik, Mark Utting
ICIAP
2003
ACM
14 years 10 months ago
Camera calibration and 3D reconstruction using interval analysis
This paper deals with the problem of error estimation in 3D reconstruction. It shows how interval analysis can be used in this way for 3D vision applications. The description of a...
Benoît Telle, Marie-José Aldon, Nacim...