313 search results - page 11 / 63 » Automated Qualitative Domain Abstraction |
189
click to vote
CORR
2010
Springer
15 years 4 days ago
2010
Springer
Abstract. The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of mod...
170
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
156
Voted
TPHOL
2009
IEEE
16 years 9 days ago
2009
IEEE
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...
154
click to vote
AAAI
1998
15 years 7 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
174
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We propose a framework that learns functional objectes from spatio-temporal data sets such as those abstracted from video. The data is represented as one activity graph t...