5363 search results - page 495 / 1073 » Building the Cerebellum in a Computer |
200
click to vote
VLSID
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract— This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topo...
175
click to vote
ICML
2009
IEEE
16 years 2 months ago
2009
IEEE
The Precision-Recall (PR) curve is a widely used visual tool to evaluate the performance of scoring functions in regards to their capacities to discriminate between two population...
189
click to vote
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
204
Voted
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
185
Voted
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...