3238 search results - page 600 / 648 » On the Computational Interpretation of Negation |
176
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
169
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
189
click to vote
ISMIR
2000
Springer
15 years 9 months ago
2000
Springer
Active listening is the core of musical activity Listening does not only concern receiving musical information. On the contrary, it is "active" and based on a set of int...
189
click to vote
AGP
1995
IEEE
15 years 9 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
150
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...