206 search results - page 13 / 42 » Specification and Complexity of Strategic-Based Reasoning Us... |
62
Voted
CSR
2008
Springer
14 years 11 months ago
2008
Springer
Razborov and Rudich identified an imposing barrier that stands in the way of progress toward the goal of proving superpolynomial lower bounds on circuit size. Their work on "n...
90
Voted
DAGSTUHL
1998
14 years 11 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
107
Voted
TPLP
2002
14 years 9 months ago
2002
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
204
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
TVLSI
2008
14 years 9 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...