4276 search results - page 175 / 856 » Techniques for Empirical Validation |
162
click to vote
JCNS
2010
15 years 5 months ago
2010
Accurately simulating neurons with realistic morphological structure and synaptic inputs requires the solution of large systems of nonlinear ordinary differential equations. We ap...
197
click to vote
INFOSECCD
2006
ACM
16 years 15 days ago
2006
ACM
A recent trend in security education is towards teaching offensive techniques which were originally developed by hackers. This reflects tendencies in the professional world where ...
136
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Concurrency fault are difficult to find because they usually occur under specific thread interleavings. Fault-detection tools in this area find data-access patterns among threa...
141
click to vote
JCSS
2008
15 years 6 months ago
2008
There has been much work on the following question: given n, how large can a subset of {1, . . . , n} be that has no arithmetic progressions of length 3. We call such sets 3-free....
160
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
There are a number of recommendation systems that can suggest the webpages, within a single website, that other (purportedly similar) users have visited. By contrast, our goal is ...