1192 search results - page 4 / 239 » Symbolic Query Exploration |
ICST
2010
IEEE
13 years 4 months ago
2010
IEEE
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. There are many examples of intelligent and learning systems that are based either on the connectionist or the symbolic approach. Although the latter can be successfully c...
TACAS
2007
Springer
13 years 12 months ago
2007
Springer
We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses JPF to generate and expl...
DOLAP
2005
ACM
13 years 7 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...