2488 search results - page 232 / 498 » An improvement in formal verification |
134
click to vote
IASTEDSEA
2004
15 years 2 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
NAACL
2010
14 years 11 months ago
2010
In a supertagging task, sequence labeling models are commonly used. But their limited ability to model long-distance information presents a bottleneck to make further improvements...
126
click to vote
TEC
2012
13 years 3 months ago
2012
Recently, the generalization framework in co-evolutionary learning has been theoretically formulated and demonstrated in the context of game-playing. Generalization performance of...
216
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
111
click to vote
POPL
2000
ACM
15 years 5 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...