950 search results - page 121 / 190 » Machine semantics |
126
Voted
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
161
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
159
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
158
click to vote
HCI
2009
15 years 2 months ago
2009
The main goal of dialog management is to provide all information needed to perform e. g. a SQL-query, a navigation task, etc. Two principal approaches for dialog management systems...
125
click to vote
LREC
2010
15 years 5 months ago
2010
This paper describes our resource-building results for an eight-week JHU Human Language Technology Center of Excellence Summer Camp for Applied Language Exploration (SCALE-2009) o...