1268 search results - page 100 / 254 » One Logic to Use Them All |
81
Voted
AMAI
2002
Springer
15 years 16 days ago
2002
Springer
: It is claimed that human inferential apparatus offers interesting ground in order to consider the intuitions of artificial intelligence researchers about the inference patterns a...
113
click to vote
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
Present application specific embedded systems tend to choose instruction set extensions (ISEs) based on limitations imposed by the available data bandwidth to custom functional un...
121
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
209
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Many combinatorial problems encountered in practice involve constraints that require that a set of variables take distinct or equal values. The AllDifferent constraint, i...
130
click to vote
SSDBM
2010
IEEE
15 years 5 months ago
2010
IEEE
Science is becoming data-intensive, requiring new software architectures that can exploit resources at all scales: local GPUs for interactive visualization, server-side multi-core ...