5684 search results - page 302 / 1137 » Computing with active dendrites |
143
click to vote
BC
2006
15 years 6 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...
208
click to vote
SPIN
2012
Springer
13 years 9 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ļ¬...
164
click to vote
HICSS
2007
IEEE
16 years 27 days 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...
194
click to vote
ICCS
2007
Springer
16 years 22 days 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...
168
click to vote
SAC
2006
ACM
16 years 16 days 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...