121 search results - page 10 / 25 » Sampled Semantics of Timed Automata |
115
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
107
Voted
IFM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
115
Voted
CORR
2000
Springer
15 years 2 months ago
2000
Springer
Attribute grammars (AGs) are a formal technique for defining semantics of programming languages. Existing complexity proofs on the circularity problem of AGs are based on automata...
140
Voted
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
130
Voted
EMNLP
2009
15 years 10 days ago
2009
This paper presents a new approach to selecting the initial seed set using stratified sampling strategy in bootstrapping-based semi-supervised learning for semantic relation class...