4355 search results - page 444 / 871 » From Interpretation to Compilation |
182
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper we present a novel method for the combined hybrid visualization of the cerebral blood vessels, segmented from a 3D rotational angiography dataset, and datasets conta...
184
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
150
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
Historically one of the visions for human-computer symbiosis has been to augment human intelligence and extend people's cognitive abilities. In this paper, we present two vis...
149
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
205
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...