2364 search results - page 61 / 473 » An Engine for Computing Well-Founded Models |
124
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Many AI researchers and cognitive scientists have argued that analogy is the core of cognition. The most influential work on computational modeling of analogy-making is Structure ...
151
Voted
DAMON
2007
Springer
15 years 10 months ago
2007
Springer
In this work, we research the suitability of the Cell Broadband Engine for database processing. We start by outlining the main architectural features of Cell and use microbenchmar...
121
click to vote
DAS
2008
Springer
15 years 5 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
154
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
258
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...