4894 search results - page 210 / 979 » Choices |
194
click to vote
CIA
2008
Springer
15 years 9 months ago
2008
Springer
In order for personal assistant agents in an ambient intelligence context to provide good recommendations, or pro-actively support humans in task allocation, a good model of what t...
238
Voted
CSR
2008
Springer
15 years 9 months ago
2008
Springer
We offer cryptanalysis of a key exchange scheme due to Stickel [11], which was inspired by the well-known Diffie-Hellman protocol. We show that Stickel's choice of platform (t...
208
click to vote
EPEW
2008
Springer
15 years 9 months ago
2008
Springer
Currently compilers contain a large number of optimisations which are based on a set of heuristics that are not guaranteed to be effective to improve the performance metrics. In th...
185
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
172
Voted
FPLAY
2008
15 years 8 months ago
2008
This paper discusses social exclusion by analyzing the avatar creation interface of the massively multiplayer online roleplaying game (MMORPG) Lineage II. We use a previously deve...