2766 search results - page 120 / 554 » Hybridizing a Logical Framework |
129
click to vote
DLOG
1998
15 years 5 months ago
1998
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...
136
click to vote
ENTCS
2006
15 years 4 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
148
click to vote
JANCL
2007
15 years 4 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
137
Voted
RTAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
167
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present a high fidelity and efficient emulation framework called TWINE, which combines the accuracy and realism of emulated and physical networks and the scala...