20 search results - page 1 / 4 » Maude as a Platform for Designing and Implementing Deep Infe... |
79
Voted
ENTCS
2008
14 years 9 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
79
Voted
ENTCS
2007
14 years 9 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
73
Voted
DBSEC
2007
14 years 11 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...
ICEIS
2000
IEEE
15 years 1 months ago
2000
IEEE
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...
ANCS
2007
ACM
15 years 1 months ago
2007
ACM
Programming specialized network processors (NPU) is inherently difficult. Unlike mainstream processors where architectural features such as out-of-order execution and caches hide ...