3319 search results - page 347 / 664 » Type Theoretical Databases |
119
Voted
MPC
1998
Springer
15 years 7 months ago
1998
Springer
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...
99
Voted
SIGGRAPH
1994
ACM
15 years 7 months ago
1994
ACM
We demonstrate a physically-based technique for predicting the drape of a wide variety of woven fabrics. The approach exploits a theoretical model that explicitly represents the m...
128
Voted
TAPSOFT
1993
Springer
15 years 7 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
142
Voted
CGI
2004
IEEE
15 years 7 months ago
2004
IEEE
The goal of the research is creation of an adaptation mechanism for the delivery of threedimensional content. The adaptation of content, for various network and terminal capabilit...
121
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We present a novel method for automatically acquiring strategies for the double auction by combining evolutionary optimization together with a principled game-theoretic analysis. ...