1643 search results - page 46 / 329 » Consistability: Describing Usually Consistent Systems |
173
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
150
Voted
FLAIRS
2003
15 years 5 months ago
2003
This paper describes the design and implementation of the University of Florida’s Anatomic Pathology Database System. The first phase of the system consists of the patient recor...
128
Voted
IJCNN
2000
IEEE
15 years 8 months ago
2000
IEEE
A two-neural network approach to solving nonlinear optimal control problems is described in this study. This approach called the adaptive critic method consists of one neural netw...
117
Voted
SIAMCO
2002
15 years 3 months ago
2002
The paper introduces a new detectability concept for continuous-time Markov jump linear systems with finite Markov space that generalizes previous concepts found in the literature....
250
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...