803 search results - page 93 / 161 » Aggregation operators and decision modeling |
WSC
2007
13 years 12 months ago
2007
In this paper we depart from a set of simple assumptions regarding the behavior of a pool of customers associated with an enterprise’s contact center. We assume that the pool of...
WSC
1998
13 years 11 months ago
1998
The Marine Corps has instituted a new Mission Area Analysis (MAA) process to identify operational requirements and deficiencies. In the past, the MAA process was subjective and so...
ICNSC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Multi-channel combustion data, consisting of gas pressure and two combustion chamber luminosity measurements, are investigated in the prediction of combustion instability. Wave...
CHARME
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
FMCO
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...