28888 search results - page 5494 / 5778 » Computability and complexity in analysis |
126
click to vote
JSSPP
2005
Springer
15 years 9 months ago
2005
Springer
Recently HP Labs engaged in a joint project with DreamWorks Animation to develop a Utility Rendering Service that was used to render part of the computer-animated feature film Shr...
137
click to vote
RTA
2005
Springer
15 years 9 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
136
click to vote
GW
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we introduce some exploratory ideas and applications involving the gestural control of sonic textures. Three examples of how the gestural control of synthe...
137
click to vote
ACMSE
2004
ACM
15 years 9 months ago
2004
ACM
SA_MetaMatch, a component of the Standards Advisor (SA), is designed to find relevant documents through matching indices of metadata and document content. The elements in the meta...
141
click to vote
APGV
2004
ACM
15 years 9 months ago
2004
ACM
Studies have shown that although shading can give an image a ”natural” look and is an important shape cue, visual perception of surface shape from shading only is severely lim...