Sciweavers

4698 search results - page 70 / 940
» Making Functionality More General
Sort
View
ICFP
2010
ACM
15 years 4 months ago
Functional pearl: every bit counts
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...
Dimitrios Vytiniotis, Andrew Kennedy
BIRD
2007
Springer
112views Bioinformatics» more  BIRD 2007»
15 years 9 months ago
Patch Prediction of Protein Interaction Sites: Validation of a Scoring Function for an Online Server
An online protein interaction server has been designed and implemented to make predictions for 256 nonhomologous protein-protein interaction sites using patch analysis. Predictions...
Susan Jones, Yoichi Mukarami
AH
2006
Springer
15 years 7 months ago
Recomindation: New Functions for Augmented Memories
Advances in technological support for augmented personal memories make possible new ways of enhancing the process of product recommendation. Instead of simply analyzing information...
Carolin Plate, Nathalie Basselin, Alexander Kr&oum...
IDEAL
2005
Springer
15 years 8 months ago
Recursive Self-organizing Map as a Contractive Iterative Function System
Recently, there has been a considerable research activity in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. However, the ...
Peter Tiño, Igor Farkas, Jort van Mourik
GECCO
2011
Springer
276views Optimization» more  GECCO 2011»
14 years 6 months ago
Evolution of reward functions for reinforcement learning
The reward functions that drive reinforcement learning systems are generally derived directly from the descriptions of the problems that the systems are being used to solve. In so...
Scott Niekum, Lee Spector, Andrew G. Barto