Sciweavers

2663 search results - page 168 / 533
» How to Choose a Timing Model
Sort
View
WSC
2004
15 years 7 months ago
Sensitivity Analysis for Transient Single Server Queuing Models Using an Interpolation Approach
Simulation is an essential tool for performance evaluation of many practical systems where planners typically want to know how the system will perform under various parameter sett...
Mohamed A. Ahmed, Talal M. Alkhamis
ICASSP
2010
IEEE
15 years 6 months ago
Rapid integration of Parts of Speech information to improve reordering model for English-Farsi Speech to Speech Translation
Integrating Parts of Speech (POS) information to Machine Translation (MT) model usually amounts to significant changes in the MT decoder. We present a method to rapidly integrate...
Sameer Maskey, Bowen Zhou
CAV
2003
Springer
154views Hardware» more  CAV 2003»
15 years 11 months ago
Structural Symbolic CTL Model Checking of Asynchronous Systems
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
Gianfranco Ciardo, Radu Siminiceanu
ECTEL
2008
Springer
15 years 8 months ago
e-Learning in Higher Education: Searching for a Model of Curriculum Analysis
The main purpose behind the design of this experience is the idea of obtaining useful information to know how the online courses in our University have been developed, and trying t...
Linda J. Castaneda
ICIP
2005
IEEE
16 years 8 months ago
Image acquisition modeling for super-resolution reconstruction
Super-resolution reconstruction is the process of reconstructing a high-resolution image from multiple low-resolution images. Most super-resolution reconstruction methods neglect ...
Murat Gevrekci, Bahadir K. Gunturk