696 search results - page 46 / 140 » Explaining abstract counterexamples |
103
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--This paper presents a method for automatic microarchitectural pipelining of systems with loops. The original specification is pipelined by performing provably-correct tra...
110
Voted
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for ...
120
Voted
AGI
2008
15 years 4 months ago
2008
Abstract. An artificial system that achieves human-level performance on opendomain tasks must have a huge amount of knowledge about the world. We argue that the most feasible way t...
185
click to vote
EON
2008
15 years 4 months ago
2008
Abstract. This paper describes how semantic bridges realized in terms of rulebased ontology mappings can be incorporated into BPEL processes. The approach is explained by applying ...
135
Voted
ICONIP
2008
15 years 4 months ago
2008
Abstract. While injecting fault during training has long been demonstrated as an effective method to improve fault tolerance of a neural network, not much theoretical work has been...