2373 search results - page 95 / 475 » On the Theory of Structural Subtyping |
166
click to vote
ICCV
2005
IEEE
16 years 13 days ago
2005
IEEE
Most work in computer vision has concentrated on studying the individual effects of motion and illumination on a 3D object. In this paper, we present a theory for combining the ef...
208
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
150
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
This paper aims at giving a classification of argumentation games agents play within a multi-agent setting. We investigate different scenarios of such argumentation games that dif...
185
click to vote
ICWSM
2009
15 years 4 months ago
2009
In recent years, we have witnessed a significant growth of "social computing" services, or online communities where users contribute content in various forms, including ...
215
click to vote
ICONFERENCE
2011
15 years 1 months ago
2011
To develop a science of small-group interaction in groupware, we need a method for analyzing the structure of computer-mediated discourse. Conversation analysis offers an analysis...