2487 search results - page 210 / 498 » cases 2009 |
179
click to vote
AAAI
2010
15 years 8 months ago
2010
Recently, algorithms for computing game-theoretic solutions have been deployed in real-world security applications, such as the placement of checkpoints and canine units at Los An...
164
click to vote
AIPS
2009
15 years 7 months ago
2009
In order to scale with modern processors, planning algorithms must become multi-threaded. In this paper, we present parallel shared-memory algorithms for two problems that underli...
148
click to vote
APVIS
2009
15 years 7 months ago
2009
The spring-electrical model based force directed algorithm is widely used for drawing undirected graphs, and sophisticated implementations can be very efficient for visualizing la...
221
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
188
click to vote
BIS
2009
15 years 7 months ago
2009
The last decade of research in the Web field gave a great importance to the studies about the Semantic Web. The idea of a Web of Data is now becoming more and more popular also out...