4814 search results - page 665 / 963 » Combining abstract interpreters |
100
click to vote
ISF
2007
15 years 1 months ago
2007
Abstract Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an ...
118
click to vote
JMM2
2007
15 years 1 months ago
2007
Abstract— Activity recognition in video streams is increasingly important for both the computer vision and artificial intelligence communities. Activity recognition has many app...
127
click to vote
JSC
2002
15 years 25 days ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
117
click to vote
TOPLAS
1998
15 years 24 days ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
120
click to vote
HCSE
2010
14 years 11 months ago
2010
Abstract. Interactive spaces with multiple networked devices and interactive surfaces are an effective means to support multi-user collocated collaboration. In these spaces, surfa...