Sciweavers

1713 search results - page 93 / 343
» On the Importance of Being Quantum
Sort
View
ECAI
2010
Springer
14 years 11 months ago
Probabilistic Logic with Conditional Independence Formulae
We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with i...
Magdalena Ivanovska, Martin Giese
AUTOMATICA
2010
96views more  AUTOMATICA 2010»
14 years 10 months ago
Issues in sampling and estimating continuous-time models with stochastic disturbances
: The standard continuous time state space model with stochastic disturbances the mathematical abstraction of continuous time white noise. To work with well defined, discrete time ...
Lennart Ljung, Adrian Wills
DATAMINE
2008
89views more  DATAMINE 2008»
14 years 10 months ago
Mining conjunctive sequential patterns
Abstract. In this paper we aim at extending the non-derivable condensed representation in frequent itemset mining to sequential pattern mining. We start by showing a negative examp...
Chedy Raïssi, Toon Calders, Pascal Poncelet
ENTCS
2008
106views more  ENTCS 2008»
14 years 10 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
BSL
2006
93views more  BSL 2006»
14 years 10 months ago
What is Tarski's common concept of consequence?
Abstract. In 1936 Tarski sketched a rigorous definition of the concept of logical consequence which, he claimed, agreed quite well with common usage--or, as he also said, with the ...
Ignacio Jané