290 search results - page 42 / 58 » Congruence for Structural Congruences |
ICALP
2010
Springer
14 years 3 months ago
2010
Springer
We propose a new approach to the notion of recognition, which departs from the classical definitions by three specific features. First, it does not rely on automata. Secondly, it...
CORR
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
IFIP
2004
Springer
14 years 4 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
DAC
2007
ACM
14 years 2 months ago
2007
ACM
RLC circuits have been shown to be better formulated as second-order systems instead of first-order systems. The corresponding model order reduction techniques for secondorder sys...
CVPR
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper addresses the problem of characterizing
a general class of cameras under reasonable, “linear”
assumptions. Concretely, we use the formalism and
terminology of cla...