Sciweavers

9521 search results - page 1681 / 1905
» Compiling with continuations, continued
Sort
View
ERCIMDL
2005
Springer
109views Education» more  ERCIMDL 2005»
16 years 9 hour ago
MedioVis - A User-Centred Library Metadata Browser
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the userâ...
Christian Grün, Jens Gerken, Hans-Christian J...
ESA
2005
Springer
113views Algorithms» more  ESA 2005»
16 years 8 hour ago
Online View Maintenance Under a Response-Time Constraint
Abstract. A materialized view is a certain synopsis structure precomputed from one or more data sets (called base tables) in order to facilitate various queries on the data. When t...
Kamesh Munagala, Jun Yang 0001, Hai Yu
FOSSACS
2005
Springer
16 years 6 hour ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often inï¬nite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
GECCO
2005
Springer
141views Optimization» more  GECCO 2005»
16 years 3 hour ago
Constructing good learners using evolved pattern generators
Self-organization of brain areas in animals begins prenatally, evidently driven by spontaneously generated internal patterns. The neural structures continue to develop postnatally...
Vinod K. Valsalam, James A. Bednar, Risto Miikkula...
ICANN
2005
Springer
16 years 43 min ago
A Neural Network Model for Inter-problem Adaptive Online Time Allocation
One aim of Meta-learning techniques is to minimize the time needed for problem solving, and the effort of parameter hand-tuning, by automating algorithm selection. The predictive m...
Matteo Gagliolo, Jürgen Schmidhuber
« Prev « First page 1681 / 1905 Last » Next »