2145 search results - page 21 / 429 » Lax Logical Relations |
104
Voted
MICRO
2010
IEEE
14 years 9 months ago
2010
IEEE
To extend the exponential performance scaling of future chip multiprocessors, improving energy efficiency has become a first-class priority. Single-chip heterogeneous computing ha...
SUM
2010
Springer
14 years 9 months ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
196
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
95
Voted
TBILLC
2007
Springer
15 years 5 months ago
2007
Springer