Sciweavers

14331 search results - page 180 / 2867
» On the modeling and analysis of obligations
Sort
View
AUSAI
2008
Springer
15 years 8 months ago
Propositionalisation of Profile Hidden Markov Models for Biological Sequence Analysis
Hidden Markov Models are a widely used generative model for analysing sequence data. A variant, Profile Hidden Markov Models are a special case used in Bioinformatics to represent,...
Stefan Mutter, Bernhard Pfahringer, Geoffrey Holme...
IAT
2010
IEEE
15 years 4 months ago
An Agent Model for Analysis of Human Performance Quality
-- A human's performance in a complex task is highly dependent on the demands of the task, in the sense that highly demanding situations will often cause a degradation of perf...
Michel C. A. Klein, Rianne van Lambalgen, Jan Treu...
ENTCS
2010
103views more  ENTCS 2010»
15 years 3 months ago
A Model and Analysis of the AKAP Scaffold
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
Oana Andrei, Muffy Calder
DASFAA
2008
IEEE
190views Database» more  DASFAA 2008»
16 years 28 days ago
Analysis of Time Series Using Compact Model-Based Descriptions
Abstract. Recently, we have proposed a novel method for the compression of time series based on mathematical models that explore dependencies between different time series. This r...
Hans-Peter Kriegel, Peer Kröger, Alexey Pryak...
ESORICS
2005
Springer
16 years 1 hour ago
Browser Model for Security Analysis of Browser-Based Protocols
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sa...