3319 search results - page 347 / 664 » Type Theoretical Databases |
162
click to vote
MPC
1998
Springer
15 years 10 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...
143
click to vote
SIGGRAPH
1994
ACM
15 years 10 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...
176
click to vote
TAPSOFT
1993
Springer
15 years 10 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 ...
189
click to vote
CGI
2004
IEEE
15 years 10 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...
162
click to vote
ATAL
2006
Springer
15 years 10 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. ...