3392 search results - page 406 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
306
click to vote
CSEE
2011
Springer
14 years 8 months ago
2011
Springer
Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...
161
click to vote
DSRT
2005
IEEE
15 years 10 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
135
click to vote
SIGIR
2003
ACM
15 years 10 months ago
2003
ACM
Most information retrieval technologies are designed to facilitate information discovery. However, much knowledge work involves finding and re-using previously seen information. W...
188
click to vote
AAAI
2008
15 years 6 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
128
click to vote
CHI
2003
ACM
16 years 5 months ago
2003
ACM
Although PDAs typically run applications in a "standalone" mode, they are increasingly equipped with wireless communications, which makes them useful in new domains. Thi...