6978 search results - page 1266 / 1396 » On Proofs in System P |
ISER
1997
Springer
14 years 1 months ago
1997
Springer
The kinematics and force/displacement relationships of elements of biological joints are notoriously difficult to understand. In particular, the human knee has bearing surfaces o...
SIGGRAPH
1996
ACM
14 years 1 months ago
1996
ACM
In this paper we develop a computational model of visual adaptation for realistic image synthesis based on psychophysical experiments. The model captures the changes in threshold ...
CIKM
1994
Springer
14 years 1 months ago
1994
Springer
The rapid advances in computer and communication technologies, and their merger, is leading to a global information market place. It will consist of federations of very large numb...
TACS
1994
Springer
14 years 1 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
SI3D
1992
ACM
14 years 1 months ago
1992
ACM
The 3D components of today's user interfaces are still underdeveloped. Direct interaction with 3D objects has been limited thus far to gestural picking, manipulation with lin...