2274 search results - page 422 / 455 » A Tale of Two Projects |
144
click to vote
SPATIALCOGNITION
1998
Springer
15 years 10 months ago
1998
Springer
This chapter gives an overview of our ongoing experimental research in the MeMoSpace project, concerning the cognitive processes underlying human spatial reasoning. Our theoretical...
160
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
Scratches on old films must be removed since these are more noticeable on higher definition and digital televisions. Wires that suspend actors or cars must be carefully erased dur...
229
click to vote
DISCO
1993
15 years 10 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
203
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
205
click to vote
SIGGRAPH
1992
ACM
15 years 10 months ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...