1317 search results - page 220 / 264 » A Technique for Constructing Developable Surfaces |
178
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
153
click to vote
CICLING
2006
Springer
15 years 10 months ago
2006
Springer
The automatic generation of back-of-the book indexes seems to be out of sight of the Information Retrieval and Natural Language Processing communities, although the increasingly la...
158
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 9 months ago
2006
Springer
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...
190
click to vote
ESOP
2006
Springer
15 years 9 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
192
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Although biometrics have garnered significant interest as a source of entropy for cryptographic key generation, recent studies indicate that many biometric modalities may not actu...