5684 search results - page 302 / 1137 » Computing with active dendrites |
119
click to vote
BC
2006
15 years 4 months ago
2006
The avian retino-tecto-rotundal pathway plays a central role in motion analysis and features complex connectivity. Yet, the relation between the pathway's structural arrangeme...
171
Voted
SPIN
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in veriļ¬cation. We present SMTInterpol, an interpolating SMT solver for the quantiļ¬...
142
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
The deregulated electricity market calls for robust OPF tools that can provide (a) deterministic convergence, (b) accurate computation of a variety of nodal prices, (c) support of...
153
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
We describe our project that marries data mining together with Grid computing. Specifically, we focus on one data mining application - the Minnesota Intrusion Detection System (MIN...
145
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Complex environmental modeling often involves a large number of unknown physical and ecological parameters. Parameter estimation is one of the most diļ¬cult steps in many modelin...