7988 search results - page 1360 / 1598 » A Useful Undecidable Theory |
116
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
Grid computing can be characterized as a distributed infrastructure that is a collection of computing resources within or across locations that are aggregated to act as a unified ...
150
click to vote
CVPR
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we develop a theory for characterizing how deformable a shape is. We define a term called “deformability index” for shapes. The deformability index is computed ...
132
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
Topological concepts and techniques have been broadly applied in computer graphics and geometric modeling. However, the homotopy type of a mapping between two surfaces has not bee...
147
click to vote
SIGIR
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents a new discriminative model for information retrieval (IR), referred to as linear discriminant model (LDM), which provides a flexible framework to incorporate a...
163
click to vote
TLDI
2005
ACM
15 years 10 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...