972 search results - page 140 / 195 » Intersection types and computational effects |
SOUPS
2005
ACM
14 years 2 months ago
2005
ACM
Spyware is a significant problem for most computer users. The term “spyware” loosely describes a new class of computer software. This type of software may track user activitie...
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...
SOFTWARE
1998
13 years 8 months ago
1998
development is a highly abstract process that requires intense concentration. The authors show that interrupting this process can significantly reduce a developer’s efficiency an...
ICASSP
2011
IEEE
13 years 18 days ago
2011
IEEE
In many contexts, one is confronted with the problem of extracting information from large amounts of different types soft data (e.g., text) and hard data (from e.g., physics-based...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
The appearance of surface texture as it varies with angular changes of view and illumination is becoming an increasingly important research topic. The bidirectional texture functi...