1536 search results - page 165 / 308 » The Underlying Logic of Hoare Logic |
169
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
169
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
An approach for stuck-at-i and delay-fault testing of redundant circuits without modifying the logic is proposed. The only requirement is the ability to control both phases of eac...
129
click to vote
BTW
2009
Springer
15 years 9 months ago
2009
Springer
: BLINK is a prototype of an in-memory based query processor that exploits heavily the underlying CPU infrastructure. It is very sensitive to the processor’s caches and instructi...
149
click to vote
AI
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...
167
click to vote
IJCAI
2007
15 years 8 months ago
2007
In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, w...