431 search results - page 69 / 87 » Learning to use episodic memory |
ICFP
2008
ACM
14 years 9 months ago
2008
ACM
We investigated the relative merits of C++ and Erlang in the implementation of a parallel acoustic ray tracing algorithm for the U.S. Navy. We found a much smaller learning curve ...
INFOSECCD
2006
ACM
14 years 3 months ago
2006
ACM
As Armstrong Atlantic State University prepares to enter the wireless world during the 2006-07 academic year, it is important that those connecting to the university’s network u...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
HCW
1999
IEEE
14 years 1 months ago
1999
IEEE
The MILAN project, a joint effort involving Arizona State University and New York University, has produced and validated fundamental techniques for the realization of efficient, r...
BCSHCI
2008
13 years 10 months ago
2008
Nowadays, people capture, edit and share more and more home videos. Devices with video capturing capability and services for video sharing and editing are becoming increasingly po...