3207 search results - page 507 / 642 » A Semantics for HTN Methods |
149
Voted
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
Since we can hardly get semantics from the low-level features of the image, it is much more difficult to analyze the image than textual information on the Web. Traditionally, textu...
162
Voted
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
168
click to vote
FORMATS
2006
Springer
15 years 8 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...
184
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
129
click to vote
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...