3724 search results - page 118 / 745 » Timed regular expressions |
142
Voted
ICCSA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A company needs to implement several make-to-stock policies apart from a regular make-to-order production, so that the capacity of expensive resources can be fully utiliz...
139
Voted
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
115
click to vote
ITCC
2000
IEEE
15 years 8 months ago
2000
IEEE
Parallel computers can do more than simply speed up sequential computations. They are capable of nding solutions that are far better in quality than those obtained by sequential c...
152
click to vote
TIP
2008
15 years 4 months ago
2008
Abstract--In this paper, we present a complete and practical algorithm for the approximation of level-set-based curve evolution suitable for real-time implementation. In particular...
123
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
In this work we generalize the fundamental notion of recognizability from untimed to timed languages. The essence of our definition is the existence of a right-morphism from the m...