3566 search results - page 316 / 714 » Signed Logic Programs |
146
click to vote
AAAI
2007
15 years 5 months ago
2007
Generality or refinement relations between different theories have important applications to generalization in inductive logic programming, refinement of ontologies, and coordin...
111
click to vote
ACL
2004
15 years 4 months ago
2004
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
141
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
In the paper, we propose a new metric for the minimization of area in the generic problem of multiple constant multiplications, and demonstrate its effectiveness for digital FIR f...
103
click to vote
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
131
Voted
EUROPKI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The private keys used in a PKI are its most important asset. Protect these keys from unauthorised use or disclosure is essential to secure a PKI. Relying parties need ass...