101 search results - page 1 / 21 » Logical and Stochastic Modeling with SMART |
CPE
2003
Springer
15 years 4 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
APN
2004
Springer
15 years 5 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
AAMAS
2005
Springer
14 years 11 months ago
2005
Springer
CLIMA
2004
15 years 1 months ago
2004
Apriori Stochastic Dependency Detection (ASDD) is an algorithm for fast induction of stochastic logic rules from a database of observations made by an agent situated in an environm...
118
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
A rechargeable battery may be used to partially protect the privacy of information contained in a household’s electrical load profile. We represent the system as a finite stat...