9581 search results - page 1407 / 1917 » On Ubiquitous Integrated Computing |
178
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Recently, there has been an increasing number of depth cameras available at commodity prices. These cameras can usually capture both color and depth images in real-time, ...
202
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
215
click to vote
EMMCVPR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Grouping is a global partitioning process that integrates local cues distributed over the entire image. We identify four types of pairwise relationships, attraction and r...
208
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We present an approach to simulate flows driven by surface tension based on triangle meshes. Our method consists of two simulation layers: the first layer is an Eulerian method ...
201
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We present a micropolygon ray tracing algorithm that is capable of efficiently rendering high quality defocus and motion blur effects. A key component of our algorithm is a BVH (...