1113 search results - page 34 / 223 » Counter Systems for Data Logics |
155
click to vote
JCIT
2008
15 years 4 months ago
2008
The main objective of design methodology of a controller for forecasting cardiac arrest using fuzzy logic approach is to provide the prediction of period of life time for the pati...
134
click to vote
TJS
2008
15 years 3 months ago
2008
A parallel file may be physically stored on several independent disks and logically partitioned by several processors. This paper presents general algorithms for mapping between t...
144
click to vote
RSCTC
2000
Springer
15 years 7 months ago
2000
Springer
In the paper we investigate the problem of analysis of time related information systems. We introduce notion of temporal templates, i.e. homogeneous patterns occurring in some peri...
128
click to vote
VLSID
1999
IEEE
15 years 8 months ago
1999
IEEE
Residue Number System based applications involve modulo-arithmetic which is typically implemented using look-up-tables (LUTs) for a small value of modulus. In this paper, we prese...
138
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning ...