955 search results - page 139 / 191 » Model Checking Operator Procedures |
150
Voted
HERCMA
2001
15 years 2 months ago
2001
In this paper we present a complete reference framework for the operation of Certification Service Provider as an organisation. The objective is to form an intermediate reference m...
108
Voted
EFDBS
2003
15 years 2 months ago
2003
Mediators are considered basic architectural units for integration of distributed, heterogeneous information resources. In the paper we propose powerful virtual updateable views as...
IJCAI
2003
15 years 2 months ago
2003
Different qualitative models have been proposed for decision under uncertainty in Artificial Intelli gence, but they generally fail to satisfy the princi ple of strict Pareto ...
COLING
1996
15 years 2 months ago
1996
Preparation, recording, segmentation and pitch labelling of Slovenian diphone inventories are described. A special user friendly intert'ace package was developed in order to ...
85
Voted
ICGA
1993
15 years 2 months ago
1993
In this paper, we present e cient algorithms for adjusting con guration parameters of genetic algorithms that operate in a noisy environment. Assuming that the population size is ...