1116 search results - page 129 / 224 » Applying Predicate Abstraction to Abstract State Machines |
ICCS
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Rainfall in Kerala State, the southern part of Indian Peninsula in particular is caused by the two monsoons and the two cyclones every year. In general, climate and rainf...
FCT
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. An iterative array is a line of interconnected interacting finite automata. One distinguished automaton, the communication cell, is connected to the outside world and fe...
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
ICONIP
2010
14 years 9 months ago
2010
Abstract. Reservoir computing approaches have been successfully applied to a variety of tasks. An inherent problem of these approaches, is, however, their variation in performance ...
ISVC
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We present a novel multi-camera framework to extract reliable pathlets [1] from tracking data. The proposed approach weights tracks based on their spatial and orientation...