694 search results - page 75 / 139 » Open Graphs and Computational Reasoning |
EUROSYS
2011
ACM
13 years 1 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
ICCBR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Artificial Intelligence techniques have been successfully applied to several computer games. However in some kinds of computer games, like real-time strategy (RTS) games...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
Reputation in P2P networks is an important tool to encourage cooperation among peers. It is based on ranking of peers according to their past behaviour. In large-scale real world ...
ITRUST
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...
NCA
2003
IEEE
14 years 3 months ago
2003
IEEE
While group communication system have been proposed for some time, they are still not used much in actual systems. We believe that one reason for this is the lack of standardisati...