2333 search results - page 92 / 467 » Recursive Computational Depth |
HRI
2010
ACM
14 years 4 months ago
2010
ACM
— This conceptual paper broaches possibilities and limits of establishing psychological intimacy in HRI. Keywords- human-robot interaction, interaction patterns, social and moral...
CGF
2007
13 years 9 months ago
2007
This paper describes a fast rendering algorithm for verification of spectacle lens design. Our method simulates refraction corrections of astigmatism as well as myopia or presbyo...
DM
2006
13 years 9 months ago
2006
The recursive computation of the interlace polynomial introduced by Arratia, Bollob
APLAS
2010
ACM
13 years 9 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
STOC
2003
ACM
14 years 9 months ago
2003
ACM
We show that n lines in 3-space can be cut into O(n2-1/69 log16/69 n) pieces, such that all depth cycles defined by triples of lines are eliminated. This partially resolves a long...