7623 search results - page 876 / 1525 » Constructive Volume Modeling |
206
click to vote
CL
2000
Springer
15 years 7 months ago
2000
Springer
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...
187
click to vote
CSL
2002
Springer
15 years 7 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
146
click to vote
PRL
2000
15 years 7 months ago
2000
Human facial wrinkles can be eectively utilized for facial analysis. It is not an easy task, however, to extract features of wrinkledness directly from a camera image of a human f...
170
click to vote
COMCOM
1998
15 years 7 months ago
1998
Many researchers are devising algorithms for task placement in distributed systems, but few are designing the necessary mechanisms to provide the information required by those alg...
160
click to vote
COMGEO
1998
ACM
15 years 7 months ago
1998
ACM
In this paper we introduce variable resolution 4– meshes, a powerful structure for the representation of geometric objects at multiple levels of detail. It combines most propert...