1847 search results - page 2 / 370 » Hybrid Functional Interpretations |
IFL
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
MICCAI
2005
Springer
14 years 11 months ago
2005
Springer
Associating speci c gene activity with speci c functional locations in the brain anatomy results in a greater understanding of the role of the gene's products. To perform such...
JLP
2006
13 years 10 months ago
2006
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...
APAL
2008
13 years 10 months ago
2008
When G