1163 search results - page 126 / 233 » Department of Redundancy Department |
139
click to vote
TAPIA
2003
ACM
15 years 11 months ago
2003
ACM
The Firefighter Command Training Virtual Environment is being developed at Georgia Tech in collaboration with the Atlanta Fire Department. The VE allows the user to: navigate arou...
145
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
124
click to vote
ECML
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Most of multi-agent reinforcement learning algorithms aim to converge to a Nash equilibrium, but a Nash equilibrium does not necessarily mean a desirable result. On the o...
197
click to vote
ISI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we report our work on developing and evaluating a prototype system aimed at addressing the information monitoring and sharing challenges in the law enforce...
146
click to vote
ITICSE
2010
ACM
15 years 11 months ago
2010
ACM
We present a pilot for a student consultancy service offering students the opportunity to work with internal and external clients on real life projects to learn and enhance trans...