Sciweavers

2425 search results - page 83 / 485
» An abstraction of the Lidar measurements
Sort
View
75
Voted
PDPTA
2000
14 years 11 months ago
Impact of Using Pattern-Based Systems on the Qualities of Parallel Applications
Abstract Design patterns are micro architectures, high-level building blocks which describe the solutions to speci c problems in software design. These solutions have generally bee...
Ladan Tahvildari, Ajit Singh
ICIP
2005
IEEE
15 years 12 months ago
Joint feature-spatial-measure space: a new approach to highly efficient probabilistic object tracking
In this paper we present a probabilistic framework for tracking objects based on local dynamic segmentation. We view the segn to be a Markov labeling process and abstract it as a ...
Feng Chen, XiaoTong Yuan, ShuTang Yang
MICCAI
2007
Springer
15 years 11 months ago
Three-Dimensional Ultrasound Mosaicing
Abstract. The creation of 2D ultrasound mosaics is becoming a common clinical practice with a high clinical value. The next step coming along with the increasing availability of 2D...
Christian Wachinger, Wolfgang Wein, Nassir Navab
TLDI
2009
ACM
140views Formal Methods» more  TLDI 2009»
15 years 7 months ago
Design patterns in separation logic
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lar...
ISPASS
2010
IEEE
15 years 5 months ago
Demystifying GPU microarchitecture through microbenchmarking
—Graphics processors (GPU) offer the promise of more than an order of magnitude speedup over conventional processors for certain non-graphics computations. Because the ften prese...
Henry Wong, Misel-Myrto Papadopoulou, Maryam Sadoo...