3710 search results - page 31 / 742 » A new calculus of contexts |
167
click to vote
IDA
2009
Springer
15 years 4 months ago
2009
Springer
A new method for action potentials detection is proposed. The method is based on a numerical differentiation, as recently introduced from operational calculus. We show that it has ...
185
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
188
Voted
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
154
click to vote
JAR
2007
15 years 6 months ago
2007
We present a variant of the basic ordered superposition rules to handle equality in an analytic free-variable tableau calculus. We prove completeness of this calculus by an adaptat...
179
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...