740 search results - page 144 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ICADL
2005
Springer
14 years 23 days ago
2005
Springer
Users of a digital book library system typically interact with the system to search for books by querying on the metadata describing the books or to search for information in the p...
LWA
2004
13 years 8 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
BMCBI
2008
13 years 7 months ago
2008
Background: Integrating data from multiple global assays and curated databases is essential to understand the spatiotemporal interactions within cells. Different experiments measu...
SIGCSE
2009
ACM
14 years 8 months ago
2009
ACM
This paper describes the integration of the Alice 3D virtual worlds environment into a diverse set of subjects in middle school, including the development of tutorials, example wo...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...