827 search results - page 103 / 166 » Proof-Theoretic Soundness and Completeness |
197
click to vote
ICEIS
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...
179
click to vote
SPLC
2010
15 years 4 months ago
2010
Abstract. Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and ...
211
click to vote
ICDT
2009
ACM
15 years 3 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
135
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
125
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
We propose a delexicalization algorithm that renders the lexical content of an utterance unintelligible, while preserving important acoustic prosodic cues, as well as naturalness ...