21 search results - page 4 / 5 » An Efficient Method for Computing Exact State Space of Petri... |
DAC
1996
ACM
13 years 10 months ago
1996
ACM
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
FM
2006
Springer
13 years 10 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
VALUETOOLS
2006
ACM
14 years 9 days ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
AAAI
2008
13 years 8 months ago
2008
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
ICCV
2003
IEEE
14 years 8 months ago
2003
IEEE
Recently, the optimal distance measure for a given object discrimination task under the nearest neighbor framework was derived [1]. For ease of implementation and efficiency consi...