549 search results - page 7 / 110 » Verification condition generation for conditional informatio... |
134
click to vote
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
101
Voted
PKDD
2010
Springer
14 years 11 months ago
2010
Springer
Latent Dirichlet allocation is a fully generative statistical language model that has been proven to be successful in capturing both the content and the topics of a corpus of docum...
127
Voted
FAC
2010
14 years 9 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
106
Voted
ICESS
2005
Springer
15 years 6 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
LPNMR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...