4325 search results - page 189 / 865 » Incremental computation with names |
128
click to vote
FECS
2007
15 years 8 months ago
2007
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...
156
click to vote
TOMS
2008
15 years 6 months ago
2008
We show how to compute an LU factorization of a matrix when the factors of a leading principle submatrix are already known. The approach incorporates pivoting akin to partial pivo...
156
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
One of the core services provided by OWL reasoners is classification: the discovery of all subclass relationships between class names occurring in an ontology. Discovering these r...
138
click to vote
IMC
2004
ACM
15 years 12 months ago
2004
ACM
We consider the possibility of having a (recursive) name server act as a slave to the root zone, rather than caching information after it is requested. Tests, described here, indi...
154
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we describe an efficient image-based approach to computing and shading visual hulls from silhouette image data. Our algorithm takes advantage of epipolar geometry a...