2253 search results - page 151 / 451 » The ComFoRT Reasoning Framework |
198
click to vote
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...
154
click to vote
CADE
2012
Springer
13 years 6 months ago
2012
Springer
Combination of theories underlies the design of satisfiability modulo theories (SMT) solvers. The Nelson-Oppen framework can be used to build a decision procedure for the combinat...
168
click to vote
SIAMCOMP
2012
13 years 6 months ago
2012
Abstract. In the framework of Carter and Wegman, a k-independent hash function maps any k keys independently. It is known that 5independent hashing provides good expected performan...
188
click to vote
TMC
2012
13 years 6 months ago
2012
—We develop a distributed throughput-optimal power allocation algorithm in wireless networks. The study of this problem has been limited due to the nonconvexity of the underlying...
115
click to vote
CSL
2005
Springer
15 years 9 months ago
2005
Springer
Implementations of real number computations have largely been unusable in practice because of their very bad performance, especially in comparison to floating point arithmetic imp...