7918 search results - page 93 / 1584 » Model Composition Directives |
CCE
2011
13 years 5 months ago
2011
Large amounts of thermal energy are transferred to for heating or cooling in the industry as well as in the other sectors. Typical examples are crude oil preheating, ethylene plan...
TACAS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— Electronics has greatly contributed to the development of internal combustion engine. This progress has resulted in reducing environmental degradation, and yet continui...
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
This paper addresses the problem of developing appropriate features for use in direct modeling approaches to speech recognition, such as those based on Maximum Entropy models or S...
TSE
2010
13 years 4 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...