2000 search results - page 210 / 400 » Program Transformation and Proof Transformation |
117
click to vote
ISBI
2008
IEEE
15 years 10 months ago
2008
IEEE
New phase-shifting techniques have recently been proposed to suppress the complex-conjugate ambiguity in frequencydomain optical-coherence tomography. A phase shift is introduced,...
109
click to vote
ASM
2005
ASM
15 years 9 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
127
click to vote
IFM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
132
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
119
click to vote
NAACL
2003
15 years 5 months ago
2003
Recent TREC results have demonstrated the need for deeper text understanding methods. This paper introduces the idea of automated reasoning applied to question answering and shows...