3825 search results - page 331 / 765 » The Language of Time: A Reader |
162
click to vote
FORMATS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...
141
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We ...
166
click to vote
POLICY
2004
Springer
16 years 1 days ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
163
click to vote
PRICAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...
179
click to vote
RISE
2004
Springer
16 years 1 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...