2373 search results - page 95 / 475 » On the Theory of Structural Subtyping |
157
click to vote
ICCV
2005
IEEE
16 years 3 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...
193
click to vote
TPHOL
2005
IEEE
16 years 2 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...
145
click to vote
ATAL
2010
Springer
15 years 7 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...
178
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 ...
209
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...