3001 search results - page 327 / 601 » Recursive type generativity |
138
click to vote
BC
2008
15 years 6 months ago
2008
For simulations of large spiking neuron networks, an accurate, simple and versatile single-neuron modeling framework is required. Here we explore the versatility of a simple two-eq...
155
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
228
click to vote
ISCI
2008
15 years 6 months ago
2008
Rough set theory can be applied to rule induction. There are two different types of classification rules, positive and boundary rules, leading to different decisions and consequen...
139
click to vote
JCP
2008
15 years 6 months ago
2008
To build a cooperative logistics network covering multiple enterprises, a planning method that can build a long-distance transportation network is required. Many strict constraints...
155
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...