2465 search results - page 212 / 493 » Automata on Linear Orderings |
IANDC
2011
13 years 5 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 ...
LFCS
2007
Springer
14 years 4 months ago
2007
Springer
Interval-based temporal logics are an important research area in computer science and artificial intelligence. In this paper we investigate decidability and expressiveness issues ...
FSTTCS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
CDC
2008
IEEE
14 years 23 days ago
2008
IEEE
We identify a class of mechanical systems for which a globally exponentially stable reduced order observer can be designed. The class is characterized by (the solvability of) a set...
CATS
2008
14 years 7 days ago
2008
In this paper we consider a problem that occurs when drawing public transportation networks. Given an embedded graph G = (V, E) (e.g. the railroad network) and a set H of paths in...