3318 search results - page 63 / 664 » The Weak Instance Model |
QEST
2005
IEEE
14 years 1 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
ISCAS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper studies the “intermittent” chaos and subharmonics observed in switching dc/dc converters using a simple circuit model that describes possible unintended coupling of...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Most current approaches to recognition aim to be scaleinvariant. However, the cues available for recognizing a 300 pixel tall object are qualitatively different from tho...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...