740 search results - page 69 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ACMDIS
2004
ACM
15 years 6 months ago
2004
ACM
Toolkits and other tools have dramatically reduced the time and technical expertise needed to design and implement graphical user interfaces (GUIs) allowing high-quality, iterativ...
120
click to vote
EDUTAINMENT
2007
Springer
15 years 7 months ago
2007
Springer
Interactive storytelling in the virtual environment attracts a lot of research interests in recent years. Story plot and character are two most important elements of a story. Based...
137
click to vote
ACMIDC
2010
15 years 5 months ago
2010
The purpose of our research is to support cognitive, motor, and emotional development of severely disabled children in the school context. We designed and implemented a set of nov...
100
click to vote
IGPL
2007
15 years 1 months ago
2007
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’â...
ACMACE
2005
ACM
15 years 7 months ago
2005
ACM
Outdoor multi-player games are an increasingly popular application area for ubiquitous computing, supporting experimentation both with new technologies and new user experiences. T...