Sciweavers

2583 search results - page 153 / 517
» On the Representation of Timed Polyhedra
Sort
View
POPL
2009
ACM
16 years 7 months ago
Equality saturation: a new approach to optimization
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin L...
AIIDE
2008
15 years 8 months ago
Recombinable Game Mechanics for Automated Design Support
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
Mark J. Nelson, Michael Mateas
CVIU
2004
115views more  CVIU 2004»
15 years 6 months ago
Context-dependent segmentation and matching in image databases
The content of an image can be summarized by a set of homogeneous regions in an appropriate feature space. When exact shape is not important, the regions can be represented by sim...
Hayit Greenspan, Guy Dvir, Yossi Rubner
CPM
2010
Springer
175views Combinatorics» more  CPM 2010»
15 years 11 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
WSCG
2003
164views more  WSCG 2003»
15 years 7 months ago
Refinement and Hierarchical Coarsening Schemes for Triangulated Surfaces
We present a refinement and a coarsening (also simplification or decimation) algorithm for the adaptive representation of bivariate functions. The algorithms have proved to be eff...
José P. Suárez, Angel Plaza