Sciweavers

1126 search results - page 77 / 226
» Modularity and the Rule of Adaptation
Sort
View
ESANN
2007
15 years 5 months ago
Intrinsic plasticity for reservoir learning algorithms
One of the most difficult problems in using dynamic reservoirs like echo state networks for signal processing is the choice of reservoir network parameters like connectivity or spe...
Marion Wardermann, Jochen J. Steil
ICFP
2005
ACM
16 years 3 months ago
The anatomy of a loop: a story of scope and control
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
Olin Shivers
VMCAI
2010
Springer
16 years 29 days ago
Temporal Reasoning for Procedural Programs
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
Rajeev Alur, Swarat Chaudhuri
SAIG
2001
Springer
15 years 8 months ago
Short Cut Fusion: Proved and Improved
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
Patricia Johann
132
Voted
JASIS
2000
120views more  JASIS 2000»
15 years 3 months ago
Probabilistic datalog: Implementing logical information retrieval for advanced applications
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
Norbert Fuhr