1670 search results - page 16 / 334 » On Skolemization in constructive theories |
TR
2010
13 years 1 months ago
2010
This paper reports on a theoretical Bayesian modeling development for residual life prediction in the context of condition-based maintenance. At each monitoring point during a comp...
IMPERIAL
1993
13 years 10 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
FSTTCS
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
INFOCOM
2006
IEEE
2006
IEEE
Multistage Constructions of Linear Compressors, Non-Overtaking Delay Lines, and Flexible Delay Lines
14 years 23 days ago
— Queueing theory is generally known as the theory to study the performance of queues. In this paper, we are interested in another aspect of queueing theory, the theory to constr...
ECIS
2003
13 years 8 months ago
2003
This paper proposes a study of the effects of knowledge management systems (KMS) on individual and organizational performance. The study seeks to answer the following question: Wh...