4250 search results - page 274 / 850 » Understanding the Requirements on Modelling Techniques |
116
Voted
IJCAI
2003
15 years 2 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
116
Voted
AOSE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
110
Voted
IPMI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Active Shape Models are a popular method for segmenting three-dimensional medical images. To obtain the required landmark correspondences, various automatic approaches ha...
114
Voted
AOSE
2005
Springer
15 years 6 months ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
102
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...