2272 search results - page 192 / 455 » A Calculus for |
118
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
124
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
149
Voted
AIML
2004
15 years 6 months ago
2004
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...
145
click to vote
UAI
2001
15 years 6 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
121
Voted
AAAI
2000
15 years 6 months ago
2000
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...