Sciweavers

3735 search results - page 59 / 747
» Order compression schemes
Sort
View
131
Voted
PSTV
1992
113views Hardware» more  PSTV 1992»
15 years 1 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
123
Voted
ENGL
2007
119views more  ENGL 2007»
15 years 13 days ago
Interactive Physically-Based Modeling for Gaseous Object using Smoothed Particle Hydrodynamics
— This paper presents an interactive method of modelling the various kind of fluid based on Smoothed Particle Hydrodynamics (SPH) in modelling and simulating the gas flow with fr...
Suriyong Lertkulvanich, Sanan Srakaew
CAGD
2005
96views more  CAGD 2005»
15 years 11 days ago
Single-knot wavelets for non-uniform B-splines
We propose a flexible and efficient wavelet construction for non-uniform B-spline curves and surfaces. The method allows to remove knots in arbitrary order minimizing the displace...
Martin Bertram
CORR
2010
Springer
120views Education» more  CORR 2010»
14 years 7 months ago
LRM-Trees: Compressed Indices, Adaptive Sorting, and Compressed Permutations
LRM-Trees are an elegant way to partition a sequence of values into sorted consecutive blocks, and to express the relative position of the first element of each block within a prev...
Jérémy Barbay, Johannes Fischer
MAMMO
2010
Springer
15 years 2 months ago
Mammogram Compression Using Super-Resolution
Abstract. As mammography moves towards completely digital and produces prohibitive amounts of data, compression plays an increasingly important role. Although current lossless comp...
Jun Zheng, Olac Fuentes, Ming-Ying Leung, Elais Ja...