Sciweavers

2392 search results - page 197 / 479
» informs 2000
Sort
View
LOPSTR
2000
Springer
15 years 8 months ago
A formal framework for synthesis and verification of logic programs
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
Alessandro Avellone, Mauro Ferrari, Camillo Fioren...
MCS
2000
Springer
15 years 8 months ago
Experiments with Classifier Combining Rules
Abstract. A large experiment on combining classifiers is reported and discussed. It includes, both, the combination of different classifiers on the same feature set and the combina...
Robert P. W. Duin, David M. J. Tax
PPSN
2000
Springer
15 years 8 months ago
Using Dynastic Exploring Recombination to Promote Diversity in Genetic Search
A family of recombination operators is studied in this work. These operators are based on keeping and using certain information about the past evolution of the algorithm to guide t...
Carlos Cotta, José M. Troya
RSCTC
2000
Springer
111views Fuzzy Logic» more  RSCTC 2000»
15 years 8 months ago
Toward a Perception-Based Theory of Probabilistic Reasoning
The perception-based theory of probabilistic reasoning which is outlined in this paper is not in the traditional spirit. Its principal aim is to lay the groundwork for a radical e...
Lotfi A. Zadeh
VLDB
2000
ACM
113views Database» more  VLDB 2000»
15 years 8 months ago
The Zero Latency Enterprise
Today's Internet economy has primed customers to expect immediate access and immediate results. But instant results are difficult to achieve when your customers want up-to-th...
Dave Liles