Sciweavers

3984 search results - page 446 / 797
» A Model-Driven Transformation Method
Sort
View
JELIA
2004
Springer
16 years 13 hour ago
tascpl: TAS Solver for Classical Propositional Logic
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
Manuel Ojeda-Aciego, Agustín Valverde
ICFP
1999
ACM
15 years 11 months ago
Type Inference Builds a Short Cut to Deforestation
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
Olaf Chitil
SGP
2003
15 years 8 months ago
High-Pass Quantization for Mesh Encoding
Any quantization introduces errors. An important question is how to suppress their visual effect. In this paper we present a new quantization method for the geometry of 3D meshes,...
Olga Sorkine, Daniel Cohen-Or, Sivan Toledo
SCP
2010
163views more  SCP 2010»
15 years 1 months ago
Compact and efficient strings for Java
In several Java VMs, strings consist of two separate objects: metadata such as the string length are stored in the actual string object, while the string characters are stored in ...
Christian Häubl, Christian Wimmer, Hanspeter ...
SISAP
2009
IEEE
134views Data Mining» more  SISAP 2009»
16 years 1 months ago
Searching by Similarity and Classifying Images on a Very Large Scale
—In the demonstration we will show a system for searching by similarity and automatically classifying images in a very large dataset. The demonstrated techniques are based on the...
Giuseppe Amato, Pasquale Savino