3134 search results - page 189 / 627 » Computing full disjunctions |
167
click to vote
CONCUR
2011
Springer
14 years 3 months ago
2011
Springer
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...
140
click to vote
SMA
2009
ACM
15 years 10 months ago
2009
ACM
Many algorithms for shape analysis and shape processing rely on accurate estimates of differential information such as normals and curvature. In most settings, however, care must...
178
click to vote
HPCA
2012
IEEE
13 years 11 months ago
2012
IEEE
Since the onset of pipelined processors, balancing the delay of the microarchitectural pipeline stages such that each microarchitectural pipeline stage has an equal delay has been...
160
click to vote
SI3D
2012
ACM
13 years 11 months ago
2012
ACM
Bounding volume hierarchies (BVHs) are a popular acceleration structure choice for animated scenes rendered with ray tracing. This is due to the relative simplicity of refitting ...
179
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
In this paper we consider the problem of recovering the free space of an indoor scene from its single image. We show that exploiting the box like geometric structure of furniture ...