Sciweavers

4536 search results - page 328 / 908
» Contention-Sensitive Data Structures and Algorithms
Sort
View
186
Voted
ICDM
2008
IEEE
136views Data Mining» more  ICDM 2008»
16 years 1 months ago
Generalized Framework for Syntax-Based Relation Mining
Supervised approaches to Data Mining are particularly appealing as they allow for the extraction of complex relations from data objects. In order to facilitate their application i...
Bonaventura Coppola, Alessandro Moschitti, Daniele...
TLDI
2003
ACM
134views Formal Methods» more  TLDI 2003»
16 years 10 hour ago
Scrap your boilerplate: a practical design pattern for generic programming
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
Ralf Lämmel, Simon L. Peyton Jones
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 10 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 8 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 8 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