3653 search results - page 296 / 731 » On Recognizable Timed Languages |
148
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
We present a streaming algorithm for constructing sparse spanners and show that our algorithm out-performs signiļ¬cantly the state-of-the-art algorithm for this task [20]. Speciļ¬...
170
click to vote
TIME
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
169
click to vote
FORMATS
2004
Springer
16 years 8 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...
145
click to vote
IFIP
2004
Springer
16 years 7 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 7 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 ...