839 search results - page 119 / 168 » Answer Set Programming with Resources |
122
click to vote
NAACL
2007
15 years 3 months ago
2007
In the past, NLP has always been based on the explicit or implicit use of linguistic knowledge. In classical computer linguistic applications explicit rule based approaches prevai...
107
click to vote
CIIA
2009
15 years 3 months ago
2009
In this paper, we present a new synthesis feature namely, "Xor matching", and the foldback product term synthesis for Complex Programmable Logic Devices (CPLD) architectu...
217
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
135
click to vote
MICRO
1994
IEEE
15 years 6 months ago
1994
IEEE
This paper explores a novel way to incorporate hardware-programmable resources into a processor microarchitecture to improve the performance of general-purpose applications. Throu...
143
Voted
ICTAI
2007
IEEE
15 years 8 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...