28962 search results - page 375 / 5793 » Computational Mechanism Design |
169
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
138
click to vote
IJDE
2002
15 years 6 months ago
2002
The Law Enforcement community possesses a large, but informal, community memory with respect to digital forensics. Large, because the experiences of every forensics technician and...
154
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper analyzes the mechanism of Industry Oriented Education of Ireland, especially in DIT and extracts useful experience to the education process of pilot software schools ...
208
click to vote
ADBIS
1995
Springer
15 years 10 months ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...
157
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
This paper describes results from a series of experimental studies to explore issues related to structuring productive group dynamics for collaborative learning using an adaptive ...