15416 search results - page 2765 / 3084 » Embeddings of Computable Structures |
142
click to vote
LFP
1994
15 years 8 months ago
1994
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...
192
click to vote
SPIESR
1993
15 years 8 months ago
1993
Autosophy, an emerging new science, explains "Self-assembling Structures", such crystals or living trees, in mathematical terms. This research provides a new mathematica...
180
click to vote
COLING
1992
15 years 8 months ago
1992
An arbitrary definite clause grammar can be transforaled into a so-called Generalized Greibach Normal Form (GGNF), a generalization of the classical Greibach Normat Form (GNF) for...
190
click to vote
UAI
1992
15 years 8 months ago
1992
Current Bayesian net representations do not consider structure in the domain and include all variables in a homogeneous network. At any time, a human reasoner in a large domain ma...
234
click to vote
VMV
2007
15 years 8 months ago
2007
In this paper we present an efficient data structure and algorithms for GPU ray tracing of secondary effects like reflections, refractions and shadows. Our method extends previo...