8874 search results - page 241 / 1775 » A New Implementation of Automath |
151
click to vote
DLOG
2011
14 years 8 months ago
2011
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
153
click to vote
EVOW
2011
Springer
14 years 8 months ago
2011
Springer
The Strategy Game Description Game Language (SGDL) is intended to become a complete description of all aspects of strategy games, including rules, parameters, scenarios, maps, and ...
187
click to vote
FSE
2011
Springer
14 years 8 months ago
2011
Springer
In this paper, we present new results on the second-round SHA-3 candidate ECHO. We describe a method to construct a collision in the compression function of ECHO-256 reduced to fou...
159
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—Power consumption imposes a significant cost for data centers implementing cloud services, yet much of that power is used to maintain excess service capacity during periods of ...
156
click to vote
JSC
2011
14 years 7 months ago
2011
In 1974, Johnson showed how to multiply and divide sparse polynomials using a binary heap. This paper introduces a new algorithm that uses a heap to divide with the same complexit...