1768 search results - page 176 / 354 » A Logic for Algebraic Effects |
176
click to vote
AIL
2000
15 years 7 months ago
2000
Computational dialectics is a relatively new field. It is, among others, concerned with the formal representation of argument and dispute. The goal is to suggest algorithms, proce...
204
click to vote
EUROPAR
2005
Springer
16 years 19 days ago
2005
Springer
Dynamic instruction scheduling logic is one of the most critical and cycle-limiting structures in modern superscalar processors, and it is not easily pipelined without significant ...
180
click to vote
IFSA
2007
Springer
16 years 1 months ago
2007
Springer
The main objective of an information retrieval system is to be effective in providing a user with relevant information in response to a query. However, especially given the inform...
165
click to vote
ASYNC
2002
IEEE
16 years 1 days ago
2002
IEEE
Wire and gate delays are accounted to have equal, or nearly equal, effect on circuit behavior in modern design techniques. This paper introduces a new approach to verify circuits ...
229
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...