Sciweavers

4745 search results - page 350 / 949
» Discretization: An Enabling Technique
Sort
View
IAJIT
2008
201views more  IAJIT 2008»
15 years 6 months ago
Implementation of a Novel Efficient Multiwavelet Based Video Coding Algorithm
: The recent explosion in digital video storage and delivery has presented strong motivation for high performance video compression solutions. An efficient video compression techni...
Sudhakar Radhakrishnan, Jayaraman Subramaniam
ENTCS
2006
109views more  ENTCS 2006»
15 years 6 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
EWC
2006
101views more  EWC 2006»
15 years 6 months ago
Mesh size functions for implicit geometries and PDE-based gradient limiting
Mesh generation and mesh enhancement algorithms often require a mesh size function to specify the desired size of the elements. We present algorithms for automatic generation of a...
Per-Olof Persson

Publication
4052views
17 years 7 months ago
On the Extraction of Curve Skeletons using Gradient Vector Flow
In this paper, we propose a new variational framework for computing continuous curve skeletons from discrete objects that are suitable for structural shape representation. We have...
M. Sabry Hassouna, Aly A. Farag
JAR
2008
107views more  JAR 2008»
15 years 6 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer