Sciweavers

16666 search results - page 38 / 3334
» Descriptive and Computational Complexity
Sort
View
128
Voted
BIB
2006
84views more  BIB 2006»
15 years 3 months ago
Computational methodologies for modelling, analysis and simulation of signalling networks
This article is a critical review of computational techniques used to model, analyse and simulate signalling networks. We propose a conceptual framework, and discuss the role of s...
David R. Gilbert, Hendrik Fuß, Xu Gu, Richar...
134
Voted
JCSS
2011
95views more  JCSS 2011»
14 years 10 months ago
The pervasive reach of resource-bounded Kolmogorov complexity in computational complexity theory
Eric Allender, Michal Koucký, Detlef Ronneb...
133
Voted
DLOG
2003
15 years 4 months ago
Fixpoint Extensions of Temporal Description Logics
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
Enrico Franconi, David Toman
IICAI
2007
15 years 4 months ago
Modeling Temporal Behavior via Structured Hidden Markov Models: an Application to Keystroking Dynamics
Structured Hidden Markov Models (S-HMM) are a variant of Hierarchical Hidden Markov Models; it provides an abstraction mechanism allowing a high level symbolic description of the k...
Ugo Galassi, Attilio Giordana, Charbel Julien, Lor...