3625 search results - page 556 / 725 » On choosing |
190
click to vote
CP
2011
Springer
14 years 7 months ago
2011
Springer
In recent models of decision-making, cognitive scientists have examined the relationship between option generation and successful performance. These models suggest that those who a...
215
click to vote
CSFW
2011
IEEE
14 years 7 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
242
click to vote
DEXA
2011
Springer
14 years 7 months ago
2011
Springer
Record linkage identifies multiple records referring to the same entity even if they are not bit-wise identical. It is thus an essential technology for data integration and data c...
206
click to vote
ECOOP
2011
Springer
14 years 7 months ago
2011
Springer
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...
231
click to vote
ESA
2011
Springer
14 years 7 months ago
2011
Springer
We present a number of positive and negative results for variants of the matroid secretary problem. Most notably, we design a constant-factor competitive algorithm for the “rando...