Sciweavers

1358 search results - page 200 / 272
» Proceedings
Sort
View
86
Voted
AISC
2004
Springer
15 years 6 months ago
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
Bruno Buchberger
123
Voted
CINQ
2004
Springer
189views Database» more  CINQ 2004»
15 years 6 months ago
Employing Inductive Databases in Concrete Applications
In this paper we present the application of the inductive database approach to two practical analytical case studies: Web usage mining in Web logs and financial data. As far as co...
Rosa Meo, Pier Luca Lanzi, Maristella Matera, Dani...
GECCO
2004
Springer
110views Optimization» more  GECCO 2004»
15 years 6 months ago
Is the Predicted ESS in the Sequential Assessment Game Evolvable?
The Sequential Assessment Game model of animal contests predicts an evolutionarily stable strategy (ESS) that is a sequence of thresholds for giving up. Simulated evolution experim...
Winfried Just, Xiaolu Sun
144
Voted
JIT
2004
Springer
204views Database» more  JIT 2004»
15 years 6 months ago
Ercatons: Thing-Oriented Programming
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
Oliver Imbusch, Falk Langhammer, Guido von Walter
114
Voted
MOZ
2004
Springer
15 years 6 months ago
Compositional Abstractions for Search Factories
ional Abstractions for Search Factories Guido Tack, Didier Le Botlan MOZ 2004 Presented at International Mozart/Oz Conference (MOZ 2004) Charleroi, Belgium October 2004 Published i...
Guido Tack, Didier Le Botlan