3909 search results - page 275 / 782 » Extreme Model Checking |
146
Voted
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
129
Voted
AI
2007
Springer
15 years 9 months ago
2007
Springer
Importance sampling-based algorithms are a popular alternative when Bayesian network models are too large or too complex for exact algorithms. However, importance sampling is sensi...
126
Voted
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
We develop an accurate, unified treatment of elastica. Following the method of resultant-based formulation to its logical extreme, we derive a higher-order integration rule, or el...
152
Voted
ADS
2004
Springer
15 years 8 months ago
2004
Springer
Past attempts to model emotions for speech synthesis have focused on extreme, “basic” emotion categories. The present paper suggests an alternative representation of emotional ...
118
Voted
GG
2004
Springer
15 years 8 months ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...