1167 search results - page 178 / 234 » A Really Temporal Logic |
105
click to vote
FSKD
2005
Springer
15 years 7 months ago
2005
Springer
The prediction of epileptic seizures is a very attractive issue for all patients suffering from epilepsy in EEG (electroencephalograph) signals. It can assist to develop an interve...
103
click to vote
GEOS
2005
Springer
15 years 7 months ago
2005
Springer
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...
110
click to vote
FATES
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
133
click to vote
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
108
click to vote
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...