3831 search results - page 148 / 767 » Dynamic Context Logic |
129
click to vote
IGPL
1998
15 years 3 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
181
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
This paper presents a novel approach for the synthesis of dynamic CMOS circuits using Domino and Nora styles. As these logic styles can implement only non-inverting logic, convent...
147
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
123
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
144
click to vote
ACMDIS
2004
ACM
15 years 9 months ago
2004
ACM
Context photography consists of capturing context when taking a still picture, by sensing physical input in addition to light and representing it visually in real time. With this ...