Sciweavers

43264 search results - page 353 / 8653
» Comparing models of computation
Sort
View
ASPDAC
2006
ACM
124views Hardware» more  ASPDAC 2006»
15 years 10 months ago
Functional modeling techniques for efficient SW code generation of video codec applications
–Architectures with multiple programmable cores are becoming more attractive for video codec applications because they can provide highly concurrent computation and support multi...
Sang-Il Han, Soo-Ik Chae, Ahmed Amine Jerraya
RTSS
2003
IEEE
15 years 10 months ago
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segal...
GREC
2003
Springer
15 years 10 months ago
Model-Based Chart Image Recognition
In this paper, we introduce a system that aims at recognizing chart images using a model-based approach. First of all, basic chart models are designed for four different chart typ...
Weihua Huang, Chew Lim Tan, Wee Kheng Leow
SIAMSC
2008
198views more  SIAMSC 2008»
15 years 4 months ago
Model Reduction for Large-Scale Systems with High-Dimensional Parametric Input Space
A model-constrained adaptive sampling methodology is proposed for reduction of large-scale systems with high-dimensional parametric input spaces. Our model reduction method uses a ...
T. Bui-Thanh, Karen Willcox, Omar Ghattas
TMI
2008
109views more  TMI 2008»
15 years 4 months ago
Efficient Multilevel Brain Tumor Segmentation With Integrated Bayesian Model Classification
Abstract-- We present a new method for automatic segmentation of heterogeneous image data that takes a step toward bridging the gap between bottom-up affinity-based segmentation me...
Jason J. Corso, Eitan Sharon, S. Dube, Suzie El-Sa...