3954 search results - page 541 / 791 » Image-based Model Completion |
116
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
For the random 2-SAT formula F(n, p), let FC(n, p) be the formula left after the pure literal algorithm applied to F(n, p) stops. Using the recently developed Poisson cloning model...
133
click to vote
CSSC
2008
15 years 4 months ago
2008
This paper examines a weighted version of the quantile regression estimator defined by Koenker and Bassett (1978), adjusted to the case of nonlinear longitudinal data. Different w...
142
click to vote
ENTCS
2008
15 years 4 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
142
click to vote
GRID
2006
Springer
15 years 4 months ago
2006
Springer
Abstract-- Shared temporary storage space is often the constraining resource for clusters that serve as execution nodes in wide-area distributed systems. At least one large nationa...
132
click to vote
CGF
2007
15 years 4 months ago
2007
This paper presents a novel method for real-time homogenous translucent material editing under fixed illumination. We consider the complete analytic BSSRDF model proposed by Jens...