Sciweavers

967 search results - page 34 / 194
» Building a Calculus of Data Structures
Sort
View
ESOP
2004
Springer
15 years 7 months ago
A Semantic Framework for Designer Transactions
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L...
CPM
2010
Springer
175views Combinatorics» more  CPM 2010»
15 years 7 months ago
Compression, Indexing, and Retrieval for Massive String Data
The field of compressed data structures seeks to achieve fast search time, but using a compressed representation, ideally requiring less space than that occupied by the original i...
Wing-Kai Hon, Rahul Shah, Jeffrey Scott Vitter
GECCO
2008
Springer
120views Optimization» more  GECCO 2008»
15 years 3 months ago
Genetic programming with polymorphic types and higher-order functions
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
Franck Binard, Amy P. Felty
ICRA
2003
IEEE
152views Robotics» more  ICRA 2003»
15 years 7 months ago
3D Modeling of Historic Sites Using Range and Image Data
— Preserving cultural heritage and historic sites is an important problem. These sites are subject to erosion, vandalism, and as long-lived artifacts, they have gone through many...
Peter K. Allen, Ioannis Stamos, Alejandro Troccoli...
EMNLP
2004
15 years 3 months ago
The Influence of Argument Structure on Semantic Role Assignment
We present a data and error analysis for semantic role labelling. In a first experiment, we build a generic statistical model for semantic role assignment in the FrameNet paradigm...
Sebastian Padó, Gemma Boleda