62 search results - page 3 / 13 » A Visual Interactive Framework for Formal Derivation |
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
RTA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
VISUALIZATION
2003
IEEE
14 years 29 days ago
2003
IEEE
We propose Unsteady Flow Advection–Convolution (UFAC) as a novel visualization approach for unsteady flows. It performs time evolution governed by pathlines, but builds spatial...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
To design information visualization tools for collaborative use, we need to understand how teams engage with visualizations during their information analysis process. We report on...
JIIS
2008
13 years 7 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...