827 search results - page 103 / 166 » Proof-Theoretic Soundness and Completeness |
128
Voted
ICEIS
2010
IEEE
14 years 10 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...
120
Voted
SPLC
2010
14 years 10 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 ...
148
Voted
ICDT
2009
ACM
14 years 10 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...
79
Voted
BIRTHDAY
2010
Springer
14 years 10 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...
72
Voted
INTERSPEECH
2010
14 years 7 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 ...