1092 search results - page 184 / 219 » Polynomial Interpretations and the Complexity of Algorithms |
109
Voted
KRMED
2008
15 years 3 months ago
2008
By constructing local extensions to SNOMED we aim to enrich existing medical and related data stores, simplify the expression of complex queries, and establish a foundation for se...
121
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we study a particular subclass of partially observable models, called quasi-deterministic partially observable Markov decision processes (QDET-POMDPs), characterize...
106
click to vote
CLEF
2009
Springer
15 years 3 months ago
2009
Springer
In biological sequence processing, Multiple Sequence Alignment (MSA) techniques capture information about long-distance dependencies and the three-dimensional structure of protein ...
118
click to vote
FSTTCS
2008
Springer
15 years 2 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
109
click to vote
EOR
2007
15 years 1 months ago
2007
Performance evaluation of complex systems is a critical issue and bounds computation provides confidence about service quality, reliability, etc. of such systems. The stochastic ...