Sciweavers

6568 search results - page 40 / 1314
» Reducing the Complexity of Reductions
Sort
View
LSSC
2007
Springer
15 years 6 months ago
Parallel Implementation of LQG Balanced Truncation for Large-Scale Systems
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...
José M. Badía, Peter Benner, Rafael ...
IV
2009
IEEE
124views Visualization» more  IV 2009»
15 years 6 months ago
An Occlusion-Reduced 3D Hierarchical Data Visualization Technique
Occlusion is an important problem to be solved for readability improvement of 3D visualization techniques. This paper presents an occlusion reduction technique for cityscape-style...
Reiko Miyazaki, Takayuki Itoh
ASM
2010
ASM
15 years 3 months ago
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
Edd Turner, Michael J. Butler, Michael Leuschel
SIVP
2008
92views more  SIVP 2008»
14 years 11 months ago
Reduced decoder complexity and latency in pixel-domain Wyner-Ziv video coders
In some video coding applications, it is desirable to reduce the complexity of the video encoder at the expense of a more complex decoder. Wyner
Marleen Morbée, Antoni Roca, Josep Prades-N...
IPPS
2010
IEEE
14 years 9 months ago
Large scale complex network analysis using the hybrid combination of a MapReduce cluster and a highly multithreaded system
Complex networks capture interactions among entities in various application areas in a graph representation. Analyzing large scale complex networks often answers important question...
Seunghwa Kang, David A. Bader