2488 search results - page 412 / 498 » An improvement in formal verification |
117
click to vote
MTV
2003
IEEE
15 years 6 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
104
click to vote
ICML
2003
IEEE
15 years 6 months ago
2003
IEEE
Shaping can be an effective method for improving the learning rate in reinforcement systems. Previously, shaping has been heuristically motivated and implemented. We provide a for...
108
click to vote
ISCA
1997
IEEE
15 years 5 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
136
click to vote
LPNMR
1993
Springer
15 years 5 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
129
click to vote
VLDB
1994
ACM
15 years 5 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...