Sciweavers

4541 search results - page 315 / 909
» Cache-Oblivious Algorithms and Data Structures
Sort
View
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 8 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
CIKM
2008
Springer
15 years 6 months ago
Mapping enterprise entities to text segments
Today, valuable business information is increasingly stored as unstructured data (documents, emails, etc.). For example, documents exchanged between business partners capture info...
Falk Brauer, Alexander Löser, Hong-Hai Do
ICCV
2005
IEEE
16 years 6 months ago
A Generative/Discriminative Learning Algorithm for Image Classification
We have developed a two-phase generative / discriminative learning procedure for the recognition of classes of objects and concepts in outdoor scenes. Our method uses both multipl...
Yi Li, Linda G. Shapiro, Jeff A. Bilmes
PARELEC
2006
IEEE
15 years 10 months ago
Hierarchical Partitioning for Piecewise Linear Algorithms
processor arrays can be used as accelerators for a plenty of data flow-dominant applications. The explosive growth in research and development of massively parallel processor arr...
Hritam Dutta, Frank Hannig, Jürgen Teich
SMI
2006
IEEE
135views Image Analysis» more  SMI 2006»
15 years 10 months ago
Laplace-Beltrami Eigenfunctions Towards an Algorithm That "Understands" Geometry
One of the challenges in geometry processing is to automatically reconstruct a higher-level representation from raw geometric data. For instance, computing a parameterization of a...
Bruno Lévy