Sciweavers

12670 search results - page 288 / 2534
» Requirements Modeling
Sort
View
ICCS
2007
Springer
16 years 25 days ago
Equivalent Semantic Translation from Parallel DEVS Models to Time Automata
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
Shoupeng Han, Kedi Huang
ACL
2006
15 years 8 months ago
Distortion Models for Statistical Machine Translation
In this paper, we argue that n-gram language models are not sufficient to address word reordering required for Machine Translation. We propose a new distortion model that can be u...
Yaser Al-Onaizan, Kishore Papineni
IPPS
2005
IEEE
16 years 8 days ago
Predictive Performance Modelling of Parallel Component Composition
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such scientific applications is therefore ...
Lei Zhao, Stephen A. Jarvis, Daniel P. Spooner, Gr...
CHI
2000
ACM
15 years 11 months ago
Using naming time to evaluate quality predictors for model simplification
Model simplification researchers require quality heuristics to guide simplification, and quality predictors to allow comparison of different simplification algorithms. However, th...
Benjamin Watson, Alinda Friedman, Aaron McGaffey
ECML
2007
Springer
15 years 10 months ago
Modeling Highway Traffic Volumes
Most traffic management and optimization tasks, such as accident detection or optimal vehicle routing, require an ability to adequately model, reason about and predict irregular an...
Tomás Singliar, Milos Hauskrecht