Sciweavers

98 search results - page 3 / 20
» Simplifying reductions
Sort
View
65
Voted
VISUALIZATION
1996
IEEE
15 years 1 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»
15 years 3 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»
15 years 1 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
14 years 11 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í...
71
Voted
ISCAS
2003
IEEE
79views Hardware» more  ISCAS 2003»
15 years 2 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