Sciweavers

967 search results - page 123 / 194
» Building a Calculus of Data Structures
Sort
View
POPL
2011
ACM
12 years 10 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
VIS
2003
IEEE
121views Visualization» more  VIS 2003»
14 years 9 months ago
Hierarchical Clustering for Unstructured Volumetric Scalar Fields
We present a method to represent unstructured scalar fields at multiple levels of detail. Using a parallelizable classification algorithm to build a cluster hierarchy, we generate...
Christopher S. Co, Bjørn Heckel, Hans Hagen...
SIGMOD
2006
ACM
194views Database» more  SIGMOD 2006»
14 years 8 months ago
Graph-based synopses for relational selectivity estimation
This paper introduces the Tuple Graph (TuG) synopses, a new class of data summaries that enable accurate selectivity estimates for complex relational queries. The proposed summari...
Joshua Spiegel, Neoklis Polyzotis
ICRA
2005
IEEE
102views Robotics» more  ICRA 2005»
14 years 1 months ago
SLAM using Incremental Probabilistic PCA and Dimensionality Reduction
— The recent progress in robot mapping (or SLAM) algorithms has focused on estimating either point features (such as landmarks) or grid-based representations. Both of these repre...
Emma Brunskill, Nicholas Roy
CARDIS
2004
Springer
97views Hardware» more  CARDIS 2004»
14 years 1 months ago
On the Security of the DeKaRT Primitive
DeKaRT primitives are key-dependent reversible circuits presented at CHES 2003. According to the author, the circuits described are suitable for data scrambling but also as buildin...
Gilles Piret, François-Xavier Standaert, Ga...