300 search results - page 32 / 60 » Subset Types and Partial Functions |
EMSOFT
2004
Springer
14 years 23 days ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— This paper is concerned with the tracking of partially or entirely occluded objects in a video sequence. We propose certain modifications to the template matching approach, whi...
BIRTHDAY
2000
Springer
13 years 11 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
JAL
2008
13 years 7 months ago
2008
Biological systems are far more complex and robust than systems we can engineer today. One way to increase the complexity and robustness of our engineered systems is to study how ...