3145 search results - page 304 / 629 » Algebraic Linear Orderings |
165
click to vote
LFCS
2007
Springer
16 years 24 days 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 ...
174
click to vote
FSTTCS
2005
Springer
16 years 5 days 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 ...
166
click to vote
CDC
2008
IEEE
15 years 8 months 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...
189
click to vote
CATS
2008
15 years 8 months 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...
196
click to vote
VIP
2000
15 years 8 months ago
2000
Series Parallel (SP) digraphs are a common method of representing instructions with partially ordered actions, but not always an ideal one, as relationships among groups of action...