955 search results - page 114 / 191 » Tractable Temporal Reasoning |
125
click to vote
AIA
2007
15 years 1 months ago
2007
In multidisciplinary medical services (e.g. Intensive Care Units or Pain Management Centers), Case-Based Reasoning systems require good case representations. When multiple disorde...
152
click to vote
SEMWEB
2010
Springer
14 years 6 months ago
2010
Springer
Space and time have not received much attention on the Semantic Web so far. While their importance has been recognized recently, existing work reduces them to simple latitude-longi...
104
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
103
click to vote
ICSE
1997
IEEE-ACM
15 years 4 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
NN
1997
Springer
15 years 4 months ago
1997
Springer
Bayesian networks are directed acyclic graphs that represent dependencies between variables in a probabilistic model. Many time series models, including the hidden Markov models (H...