10055 search results - page 1815 / 2011 » Structured programming using processes |
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
We present a method which enables rapid and dense reconstruction of scenes browsed by a single live camera. We take point-based real-time structure from motion (SFM) as our starti...
EUROGRAPHICS
2010
Eurographics
14 years 5 months ago
2010
Eurographics
We present a novel approach to ray tracing execution on commodity graphics hardware using CUDA. We decompose
a standard ray tracing algorithm into several data-parallel stages tha...
ISBI
2009
IEEE
14 years 4 months ago
2009
IEEE
Membrane-bound protein, expressed in the basal-lateral region, is heterogeneous and an important endpoint for understanding biological processes. At the optical resolution, membra...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...