Sciweavers

967 search results - page 34 / 194
» Building a Calculus of Data Structures
Sort
View
ESOP
2004
Springer
14 years 1 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»
14 years 13 days 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»
13 years 8 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»
14 years 27 days 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
13 years 9 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