8724 search results - page 1473 / 1745 » Search result diversification |
96
Voted
ECCC
2007
15 years 23 days ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
109
Voted
JIRS
2006
15 years 23 days ago
2006
To safely and efficiently guide personnel of search and rescue operations in disaster areas, swift gathering of relevant information such as the locations of victims, must occur. U...
106
Voted
JMLR
2006
15 years 23 days ago
2006
Fast and frugal heuristics are well studied models of bounded rationality. Psychological research has proposed the take-the-best heuristic as a successful strategy in decision mak...
129
click to vote
JNW
2006
15 years 23 days ago
2006
-- Peer-to-peer systems and applications are distributed systems without any centralized control. P2P systems form the basis of several applications, such as file sharing systems a...
133
click to vote
ENTCS
2007
15 years 23 days ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...