2540 search results - page 103 / 508 » Abstract Logics as Dialgebras |
138
click to vote
ISQED
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract— Self-calibrating designs have recently gained momentum as an alternative to methods relying on worst-case characterisation of silicon [2], [4], [8]. So far, reliable op...
168
click to vote
ICLP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
137
click to vote
MICAI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
173
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
172
click to vote
ICLP
1998
Springer
15 years 10 months ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...