2206 search results - page 141 / 442 » On the power of coercion abstraction |
112
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
114
Voted
ALDT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating ...
127
click to vote
ARCS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...
120
Voted
CAI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
INTETAIN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Interactive multi-touch tables can be a powerful means of communication for collaborative work as well as an engaging environment for competition. Through enticing gamepl...