Sciweavers

7047 search results - page 390 / 1410
» Focusing on Binding and Computation
Sort
View
JFPLC
2000
15 years 8 months ago
Preuves infinies en Programmation logique
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
Mathieu Jaume
ECSCW
1997
15 years 8 months ago
Designing for Cooperation at a Radio Station
: We address computer support for work and its coordination in one of the radio channels of the Danish Broadcasting Corporation. Based upon ethnographically inspired analysis and p...
Finn Kensing, Jesper Simonsen, Keld Bødker
TFCV
2000
15 years 8 months ago
Epipolar Geometry in Polycentric Panoramas
We introduce a new class of panoramic images, called polycentric panoramic images, which is a generalization from more specific classes such as single-center, multiple-center, or ...
Fay Huang, Shou Kang Wei, Reinhard Klette
SLP
1994
118views more  SLP 1994»
15 years 8 months ago
A Simple Program Transformation for Parallelism
Most of the research, to date, on optimizing program transformations for declarative languages has focused on sequential execution strategies. In this paper, we consider a class o...
Saumya K. Debray, Mudita Jain
VMV
2007
141views Visualization» more  VMV 2007»
15 years 8 months ago
Distance Calculation between a Point and a Subdivision Surface
This article focuses on algorithms for fast computation of the Euclidean distance between a query point and a subdivision surface. The analyzed algorithms include uniform tessella...
Torsten Ullrich, Volker Settgast, Ulrich Krispel, ...