134 search results - page 18 / 27 » Flexible Encoding of Mathematics on the Computer |
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a new single-image camera response function (CRF) estimation method using geometry invariants (GI). We derive mathematical properties and geometric inter...
MICCAI
2009
Springer
16 years 25 days ago
2009
Springer
Q-ball imaging (QBI) is a high angular resolution diffusion imaging (HARDI) technique which has been proven very successful in resolving multiple intravoxel fiber orientations in M...
100
click to vote
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
A flexible model for estimating reliability of RAID storage systems is presented. This model corrects errors associated with the common assumption that system times to failure fol...
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
GRAPHITE
2004
ACM
15 years 5 months ago
2004
ACM
Several factors currently limit the size of Virtual Reality Modeling Language (VRML) models that can be effectively visualized over the Web. Main factors include network bandwidth...