Sciweavers

98 search results - page 3 / 20
» Simplifying reductions
Sort
View
VISUALIZATION
1996
IEEE
13 years 10 months ago
Mesh Reduction with Error Control
In many cases the surfaces of geometric models consist of a large number of triangles. Several algorithms were developed to reduce the number of triangles required to approximate ...
Reinhard Klein, Gunther Liebich, Wolfgang Stra&szl...
ATVA
2005
Springer
80views Hardware» more  ATVA 2005»
13 years 11 months ago
Syntactical Colored Petri Nets Reductions
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
Sami Evangelista, Serge Haddad, Jean-Franço...
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
13 years 10 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
IBPRIA
2007
Springer
13 years 7 months ago
A Density-Based Data Reduction Algorithm for Robust Estimators
In this paper we present a non parametric density-based data reduction technique designed to be used in robust parameter estimation problems. Existing approaches are focused on red...
Luis Ferraz, Ramon Lluis Felip, Brais Martí...
ISCAS
2003
IEEE
79views Hardware» more  ISCAS 2003»
13 years 11 months ago
Computation reduction in cascaded DCT-domain video downscaling transcoding
In this paper, we propose efficient techniques and architectures for realizing spatial-downscaling transcoders in the DCT domain. We also present methods for re-sampling motion ve...
Yuh-Ruey Lee, Chia-Wen Lin, Yen-Wen Chen