1083 search results - page 197 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
150
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
118
click to vote
ICPR
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper, a method to automatically extract the main information from a long-term electrocardiographic signal is presented. This method is based on techniques of pattern reco...
118
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
106
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
IRES
2002
15 years 1 months ago
2002
Building the semantic web encounters problems similar to building large bibliographic systems. The experience of librarianship in controlling large, heterogeneous collections of b...