6141 search results - page 395 / 1229 » Models and representation of their ownership |
170
Voted
MLQ
2002
15 years 6 months ago
2002
We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudo...
169
Voted
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
218
click to vote
NC
2010
15 years 5 months ago
2010
Abstract. In the last fifteen years, several research efforts have been directed towards the representation and the analysis of metabolic pathways by using Petri nets. The goal o...
175
click to vote
IRFC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Information Retrieval (IR) systems combine a variety of techniques stemming from logical, vector-space and probabilistic models. This variety of combinations has produced...
222
click to vote
FLAIRS
2009
15 years 4 months ago
2009
Time series are found widely in engineering and science. We study multiagent forecasting in time series, drawing from literature on time series, graphical models, and multiagent s...