1716 search results - page 286 / 344 » Proving Conditional Termination |
121
Voted
IJAIT
2006
15 years 23 days ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
INFSOF
2006
15 years 23 days ago
2006
Providing efficient access to XML documents becomes crucial in XML database systems. More and more concurrency control protocols for XML database systems were proposed in the past...
101
Voted
JIIS
2008
15 years 23 days ago
2008
An ever greater range of applications call for learning from sequences. Grammar induction is one prominent tool for sequence learning, it is therefore important to know its proper...
103
Voted
JMLR
2008
15 years 23 days ago
2008
We show how a generic feature selection algorithm returning strongly relevant variables can be turned into a causal structure learning algorithm. We prove this under the Faithfuln...
108
Voted
JAPLL
2006
15 years 23 days ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...