2308 search results - page 40 / 462 » Representing Symbolic Reasoning |
162
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...
149
click to vote
ESOP
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
138
click to vote
AIPS
2004
15 years 6 months ago
2004
Symbolic non-deterministic planning represents action effects as sets of possible next states. In this paper, we move toward a more probabilistic uncertainty model by distinguishi...
149
Voted
ISSTA
2009
ACM
15 years 12 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
131
click to vote
BDA
2001
15 years 6 months ago
2001
We study the inference on the interesting association rules. Then we define the concept of the representative basis for interesting association rules extracted from a dataset D, a...