2649 search results - page 180 / 530 » Temporal Theories of Reasoning |
186
click to vote
AAAI
1990
15 years 8 months ago
1990
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
193
click to vote
IJFCS
2006
15 years 7 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
226
click to vote
NECO
2010
15 years 1 months ago
2010
Temporal derivatives are computed by a wide variety of neural circuits, but the problem of performing this computation accurately has received little theoretical study. Here we sy...
175
Voted
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
The lack of a common language and mutual understanding between the disciplines of systems development/software engineering and HCI does create challenges for both teaching and pra...
192
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...