4320 search results - page 293 / 864 » Functional Objects |
184
click to vote
GRAPP
2007
15 years 8 months ago
2007
We consider the problem of approximating the 3D scan of a real object through an affine combination of examples. Common approaches depend either on the explicit estimation of poi...
204
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
159
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we revisit the enumeration of directed animals using gas models. We show that there exists a natural construction of random directed animals on any directed graph t...
142
click to vote
JCT
2007
15 years 6 months ago
2007
In two previous papers, the study of partitions with short sequences has been developed both for its intrinsic interest and for a variety of applications. The object of this paper...
136
click to vote
PRESENCE
1998
15 years 6 months ago
1998
This paper considers some rst principles that might provide a basis for an objective science of experience (presence or immersion). Dimensions that are considered include classica...