196 search results - page 33 / 40 » An overview of coaching with limitations |
VMCAI
2004
Springer
14 years 24 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
3DPVT
2002
IEEE
14 years 13 days ago
2002
IEEE
3D video is the ultimate image medium recording dynamic visual events in the real world as is. Recorded object behaviors can be observed from any viewpoint, because 3D video recor...
ICA3PP
2010
Springer
14 years 8 days ago
2010
Springer
Abstract. In this paper we report on the recent progress in computing bivariate polynomial resultants on Graphics Processing Units (GPU). Given two polynomials in Z[x, y], our algo...
SIGGRAPH
2010
ACM
13 years 12 months ago
2010
ACM
Systems such as Google Street View and Bing Maps Streetside enable users to virtually visit cities by navigating between immersive 360◦ panoramas, or bubbles. The discrete moves...
IV
2000
IEEE
13 years 12 months ago
2000
IEEE
“addiction” is defined as a pattern (abstract relationship). Such definition allows us to look in a new way at a number of cultural issues including the values, the lifestyl...