688 search results - page 65 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
CDC
2009
IEEE
14 years 15 days ago
2009
IEEE
— This paper addresses model reduction for a Markov chain on a large state space. A simulation-based framework is introduced to perform state aggregation of the Markov chain base...
KBSE
1999
IEEE
14 years 2 days ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
IJCAI
2007
13 years 9 months ago
2007
Electoral control refers to attempts by an election’s organizer (“the chair”) to influence the outcome by adding/deleting/partitioning voters or candidates. The groundbreak...
DATE
2010
IEEE
14 years 27 days ago
2010
IEEE
—1 In this paper we present a stochastic model order reduction technique for interconnect extraction in the presence of process variabilities, i.e. variation-aware extraction. It...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
Automatic detection of dynamic events in video sequences has a variety of applications including visual surveillance and monitoring, video highlight extraction, intelligent transp...