6253 search results - page 287 / 1251 » Use Case Modeling Guidelines |
118
click to vote
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
The impact IT systems have on organizations is widely debated, both in academia and industry. This paper describes a quantitative framework for analyzing organizational impact fro...
109
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...
148
click to vote
MASCOTS
2004
15 years 5 months ago
2004
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
116
click to vote
ICA
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we describe a methodology for model-based single channel separation of sounds. We present a sparse latent variable model that can learn sounds based on their distribu...
127
Voted
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper presents a new approach to prior shape and appearance modeling for use in curve evolution-based segmentation. The new method is based on the unified use of feature dist...