660 search results - page 26 / 132 » The Implicit Calculus of Constructions |
SIGIR
2003
ACM
14 years 3 months ago
2003
ACM
Current Web search engines generally impose link analysis-based re-ranking on web-page retrieval. However, the same techniques, when applied directly to small web search such as i...
CGF
2005
13 years 9 months ago
2005
New techniques are presented for rendering complex hierarchical skeletal implicit models in several pen-and-ink styles. A particle system is employed to find interesting areas on ...
ICIP
2010
IEEE
13 years 7 months ago
2010
IEEE
We develop a robust technique to find similar matches of human actions in video. Given a query video, Motion History Images (MHI) are constructed for consecutive keyframes. This i...
ICRA
1995
IEEE
14 years 1 months ago
1995
IEEE
2 Multi-view Integration: A Review We address the problem of constructing a boundary model of an object when the input consists of a set of points that lie on its surface. We assum...
ICFP
2007
ACM
14 years 10 months ago
2007
ACM
The forthcoming Revised6 Report on Scheme differs from previous reports in that the language it describes is structured as a set of libraries. It also provides a syntax for defini...