Sciweavers

2314 search results - page 112 / 463
» What's in a model
Sort
View
ESWA
2007
117views more  ESWA 2007»
13 years 10 months ago
An HMM for detecting spam mail
Hidden Markov Models, or HMMs for short, have been recently used in Bioinformatics for the classification of DNA or protein chains, giving rise to what is known as Profile Hidde...
José Gordillo, Eduardo Conde
SEMWEB
2005
Springer
14 years 3 months ago
Representing Probabilistic Relations in RDF
Probabilistic inference will be of special importance when one needs to know how much we can say with what all we know given new observations. Bayesian Network is a graphical prob...
Yoshio Fukushige
RTCSA
2005
IEEE
14 years 3 months ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin
WDAG
2009
Springer
117views Algorithms» more  WDAG 2009»
14 years 4 months ago
Elastic Transactions
This paper presents elastic transactions, a variant of the transactional model. Upon conflict detection, an elastic transaction might drop what it did so far within a separate tra...
Pascal Felber, Vincent Gramoli, Rachid Guerraoui
SLOGICA
2010
97views more  SLOGICA 2010»
13 years 8 months ago
An Internal Version of Epistemic Logic
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
Guillaume Aucher