3082 search results - page 384 / 617 » Deviation Analysis: A New Use of Model Checking |
188
click to vote
APN
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
157
click to vote
HICSS
2005
IEEE
16 years 3 days ago
2005
IEEE
Design documents can be exchanged in business-tobusiness networks through Product Data Management (PDM) system integration. This rarely used approach provides new possibilities fo...
192
click to vote
AMR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We report our work towards building user models of learner’s development based upon evidence of their interactions with an e-learning website composed of multimedia lea...
160
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
A crucial problem in statistical shape analysis is establishing the correspondence of shape features across a population. While many solutions are easy to express using boundary re...
194
click to vote
ICB
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, a Bayesian method for face recognition is proposed based on Markov Random Fields (MRF) modeling. Constraints on image features as well as contextual relationships be...