Sciweavers

2274 search results - page 152 / 455
» A Tale of Two Projects
Sort
View
CAISE
2006
Springer
15 years 7 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
EUROMICRO
2004
IEEE
15 years 7 months ago
Introducing Agile Methods: Three Years of Experience
The paper summarizes three years of experience of introducing agile practices in academic environments. The perceptions of students from four different academic programs (Diploma,...
Grigori Melnik, Frank Maurer
113
Voted
WSC
2008
15 years 6 months ago
Automating warm-up length estimation
There are two key issues in assuring the accuracy of estimates of performance obtained from a simulation model. The first is the removal of any initialisation bias, the second is ...
Kathryn Hoad, Stewart Robinson, Ruth Davies
LREC
2010
192views Education» more  LREC 2010»
15 years 5 months ago
Sustainability of Linguistic Data and Analysis in the Context of a Collaborative eScience Environment
For researchers, it is especially important that primary research data are preserved and made available on a long-term basis and to a wide variety of researchers. In order to ensu...
Erhard W. Hinrichs, Verena Henrich, Thomas Zastrow
102
Voted
ESANN
2007
15 years 5 months ago
SOM+EOF for finding missing values
In this paper, a new method for the determination of missing values in temporal databases is presented. This new method is based on two projection methods: a nonlinear one (Self-Or...
Antti Sorjamaa, Paul Merlin, Bertrand Maillet, Ama...