Sciweavers

7049 search results - page 223 / 1410
» Data Abstraction for CSP-OZ
Sort
View
MICRO
2010
IEEE
143views Hardware» more  MICRO 2010»
15 years 1 months ago
SD3: A Scalable Approach to Dynamic Data-Dependence Profiling
Abstract--As multicore processors are deployed in mainstream computing, the need for software tools to help parallelize programs is increasing dramatically. Data-dependence profili...
Minjang Kim, Hyesoon Kim, Chi-Keung Luk
FORTE
2011
14 years 10 months ago
A Framework for Verifying Data-Centric Protocols
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
Yuxin Deng, Stéphane Grumbach, Jean-Fran&cc...
TVCG
2012
180views Hardware» more  TVCG 2012»
13 years 9 months ago
Feature-Driven Data Exploration for Volumetric Rendering
Abstract—We have developed an intuitive method to semi-automatically explore volumetric data in a focus-region-guided or valuedriven way using a user defined ray through the 3D ...
Insoo Woo, Ross Maciejewski, Kelly P. Gaither, Dav...
ICCV
2003
IEEE
16 years 8 months ago
A New Paradigm for Recognizing 3-D Object Shapes from Range Data
Most of the work on 3-D object recognition from range data has used an alignment-verification approach in which a specific 3-D object is matched to an exact instance of the same o...
Salvador Ruiz-Correa, Linda G. Shapiro, Marina Mei...
ECCV
2006
Springer
16 years 8 months ago
Geometry and Kinematics with Uncertain Data
Abstract. In Computer Vision applications, one usually has to work with uncertain data. It is therefore important to be able to deal with uncertain geometry and uncertain transform...
Christian Perwass, Christian Gebken, Gerald Sommer