585 search results - page 37 / 117 » Better Abstractions for Timed Automata |
116
click to vote
ICST
2009
IEEE
15 years 7 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
93
Voted
DAGM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present an improved framework for real-time segmentation and tracking by fusing depth and RGB color data. We are able to solve common problems seen in tracking and seg...
109
Voted
LATA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Kanazawa ([1]) has studied the learnability of several parameterized families of classes of categorial grammars. These classes were shown to be learnable from text, in th...
96
Voted
FAC
2007
15 years 13 days ago
2007
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
99
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...