12289 search results - page 506 / 2458 » computing 2006 |
170
click to vote
PRL
1998
15 years 6 months ago
1998
Surprisingly simple local learning algorithms are known to outperform many other global non-linear machines. Unfortunately, these algorithms are computationally costly. A means of...
165
click to vote
RAS
2002
15 years 6 months ago
2002
Modeling human control strategy (HCS) is becoming an increasingly popular paradigm in a number of different research areas, ranging from robotics and intelligent vehicle highway s...
160
click to vote
MSCS
2007
15 years 6 months ago
2007
A discussion concerning the opposition between discretness and continuum in quantum mechanics is presented. In particular this duality is shown to be present not only in the early...
187
click to vote
PC
2007
15 years 6 months ago
2007
This paper presents a case study about the applicability and usage of non blocking collective operations. These operations provide the ability to overlap communication with computa...
188
click to vote
FMSD
2010
15 years 5 months ago
2010
Abstract The 2009 CAV (Computer-Aided Verification) award was presented to seven individuals who made major advances in creating high-performance Boolean satisfiability solvers. ...