3653 search results - page 15 / 731 » On Recognizable Timed Languages |
PLDI
1994
ACM
15 years 1 months ago
1994
ACM
PLDI
2012
ACM
13 years 4 days ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
IANDC
2011
14 years 4 months ago
2011
Query answering algorithms on Xml streams check answer candidates on the fly in order to avoid the unnecessary buffering whenever possible. The delay and concurrency of a query ...
ALT
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we consider uncountable classes recognizable by ω-automata and investigate suitable learning paradigms for them. In particular, the counterparts of explanatory, vac...
53
Voted
IJCAI
2001
14 years 11 months ago
2001
Story generation is experiencing a revival, despite disappointing preliminary results from the preceding three decades. One of the principle reasons for previous inadequacies was ...