101 search results - page 1 / 21 » Logical and Stochastic Modeling with SMART |
CPE
2003
Springer
13 years 9 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
13 years 10 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
13 years 4 months ago
2005
Springer
CLIMA
2004
13 years 5 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...
ICASSP
2011
IEEE
12 years 8 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...