3804 search results - page 498 / 761 » interactions 2008 |
198
Voted
ASM
2008
ASM
15 years 9 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
199
Voted
ASM
2008
ASM
15 years 9 months ago
2008
ASM
The ingredients of typical model based development via refinement are re-examined, and some well known frameworks are reviewed in that light, drawing out commonalities and differen...
201
Voted
ASSETS
2008
ACM
15 years 9 months ago
2008
ACM
This proposal is about a brain-controlled electrically powered wheelchair. The system comprises a brain-computer interface based on steady-state visual evoked potentials and a pro...
197
Voted
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
In this paper we address the problem of coordination in multi-agent sequential decision problems with infinite statespaces. We adopt a game theoretic formalism to describe the int...
214
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
The confluence of virtual reality and artificial life, an emerging discipline that spans the computational and biological sciences, has yielded synthetic worlds inhabited by reali...