1284 search results - page 99 / 257 » On Helping and Interactive Proof Systems |
LFCS
2007
Springer
15 years 4 months ago
2007
Springer
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...
110
click to vote
EUROMICRO
2006
IEEE
15 years 3 months ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...
PCI
2005
Springer
15 years 3 months ago
2005
Springer
We address several recent developments in non-cooperative as well as evolutionary game theory, that give a new viewpoint to Complex Systems understanding. In particular, we discuss...
AH
2006
Springer
15 years 3 months ago
2006
Springer
The volume of course-related information available to students is rapidly increasing. This abundance of information has created the need to help students find, organize, and use re...
UCS
2004
Springer
15 years 3 months ago
2004
Springer
We developed AirTransNote, a computer-mediated classroom collaboration system. The system enables real-time note-sharing. AirTransNote manages notes written by students on paper a...