308 search results - page 23 / 62 » Space and the Synchronic A-Ram |
AINA
2010
IEEE
14 years 5 days ago
2010
IEEE
—Mnesic evocation occurs under the action of a stimulus. A successful evocation is observed as the overrun of a certain threshold of the neuronal activity followed by a medical i...
GROUP
1999
ACM
14 years 1 months ago
1999
ACM
Visual shared workspaces will be always staying on users’ screens in the near future. Users will be moving frequently between their personal workspaces for personal and asynchro...
COMCOM
1998
13 years 8 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
TPDS
2002
13 years 8 months ago
2002
This paper discusses a new work-scheduling algorithm for parallel search of single-agent state spaces, called Transposition-Table-Driven Work Scheduling, that places the transposit...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efï¬...