128 search results - page 14 / 26 » Type Reconstruction for General Refinement Types |
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
The problem of coalition formation when agents are uncertain about the types or capabilities of their potential partners is a critical one. In [3] a Bayesian reinforcement learnin...
IUSED
2008
13 years 10 months ago
2008
One trend in software development is to implement application functionalities through Web services. This eases the possibility of developing interactive applications exploiting fu...
CVPR
2003
IEEE
14 years 10 months ago
2003
IEEE
This paper presents a technique for computing the geometry of objects with general reflectance properties from images. For surfaces with varying material properties, a full segmen...
TOG
2008
13 years 8 months ago
2008
This paper proposes a new marker-less approach to capturing human performances from multi-view video. Our algorithm can jointly reconstruct spatio-temporally coherent geometry, mo...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...