3066 search results - page 292 / 614 » On Facilitating Automated Evaluation |
171
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
168
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
The proliferation of complex and fast-spreading intrusions not only requires advances in intrusion detection mechanisms but also demands development of sophisticated and automated...
135
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
187
click to vote
SSDBM
2006
IEEE
16 years 25 days ago
2006
IEEE
Biological web data sources have now become essential information sources for researchers. However, their use is tedious, labor-intensive, repetitive, and possibly involve the int...
210
click to vote
ASP
2005
Springer
16 years 11 days ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...