12981 search results - page 531 / 2597 » Model Checking (Abstract) |
149
Voted
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
170
Voted
ICLP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
202
Voted
SLS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This work presents an algorithm for the sub-graph isomorphism problem based on a new pruning technique for directed graphs. During the tree search, the method checks if a...
161
click to vote
TSD
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper deals with the problem of speech waveform polarity. As the polarity of speech waveform can influence the performance of pitch marking algorithms (see Sec. 4),...
187
click to vote
VMCAI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...