Sciweavers

12670 search results - page 171 / 2534
» Requirements Modeling
Sort
View
151
Voted
RE
2010
Springer
14 years 10 months ago
Dependability Arguments with Trusted Bases
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
Eunsuk Kang, Daniel Jackson
98
Voted
WSC
2007
15 years 5 months ago
Using multi-criteria modeling and simulation to achieve lean goals
Lean principles require the identification of an ideal system state along with an associated policy to achieve that state. This paper discusses the use of multi-criteria models in...
Gerald W. Evans, Suraj M. Alexander
129
Voted
EMNLP
2006
15 years 5 months ago
Discriminative Methods for Transliteration
We present two discriminative methods for name transliteration. The methods correspond to local and global modeling approaches in modeling structured output spaces. Both methods d...
Dmitry Zelenko, Chinatsu Aone
129
Voted
ESANN
2008
15 years 5 months ago
Approximation of Gaussian process regression models after training
The evaluation of a standard Gaussian process regression model takes time linear in the number of training data points. In this paper, the models are approximated in the feature sp...
Thorsten Suttorp, Christian Igel
132
Voted
AH
2008
Springer
15 years 10 months ago
Assisting in Reuse of Adaptive Hypermedia Creator's Models
The design of Adaptive Hypermedia is a difficult task which can be made easier if generic systems and AH creators’ models are reused. We address this design problem in the settin...
Nadjet Zemirline, Yolaine Bourda, Chantal Reynaud,...