13336 search results - page 2582 / 2668 » Computer Vision: Algorithms and Applications |
130
click to vote
COMPGEOM
2006
ACM
15 years 9 months ago
2006
ACM
In the last decade, a great deal of work has been devoted to the elaboration of a sampling theory for smooth surfaces. The goal was to ensure a good reconstruction of a given surf...
124
Voted
STOC
2006
ACM
15 years 9 months ago
2006
ACM
Memory management is a fundamental problem in computer architecture and operating systems. We consider a two-level memory system with fast, but small cache and slow, but large mai...
136
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
141
Voted
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
Existing parallel or remote rendering solutions rely on communicating pixels, OpenGL commands, scene-graph changes or application-specific data. We propose an intermediate soluti...
159
Voted
ICAIL
2005
ACM
15 years 9 months ago
2005
ACM
Computational resources for research in legal environments have historically implied remote access to large databases of legal documents such as case law, statutes, law reviews an...