740 search results - page 80 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
108
click to vote
EDUTAINMENT
2007
Springer
15 years 7 months ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
118
click to vote
SIGITE
2005
ACM
15 years 7 months ago
2005
ACM
The direct experience we had with teaching a summer pre-college computing course in which we adopted an online portfolio approach has led us to consider the use of online portfoli...
108
click to vote
CSCW
2008
ACM
15 years 3 months ago
2008
ACM
As social computing systems persist over time, the user experiences and interactions they support may change. One type of social computing system, Social Network Sites (SNSs), are...
110
click to vote
AAAI
2006
15 years 2 months ago
2006
Although anticipation is an important part of creating believable behaviour, it has had but a secondary role in the field of life-like characters. In this paper, we show how a sim...
124
click to vote
JIIS
2006
15 years 1 months ago
2006
Abstract In recent years, researchers have begun to study inductive databases, a new generation of databases for leveraging decision support applications. In this context, the user...