2024 search results - page 27 / 405 » The Meaning of Ordered SOS |
ICCS
2004
Springer
14 years 28 days ago
2004
Springer
In dynamic data driven applications modeling accurately the uncertainty of various inputs is a key step of the process. In this paper, we first review the basics of the Karhunen-L...
TPHOL
1998
IEEE
13 years 11 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
FLOPS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
FLAIRS
2001
13 years 9 months ago
2001
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...