2434 search results - page 295 / 487 » Algorithmic Randomness of Closed Sets |
164
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
113
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Gravity model used to model transport flow has proven invaluable in urban planning. Some recent work has proposed to use gravity model to predict user movements in cellular net...
122
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
When facing the question of learning languages in realistic settings, one has to tackle several problems that do not admit simple solutions. On the one hand, languages are usually...
150
click to vote
COCOON
2005
Springer
15 years 9 months ago
2005
Springer
To monitor an electric power system by placing as few phase measurement units (PMUs) as possible is closely related to the famous vertex cover problem and domination problem in gr...
147
click to vote
PODS
2010
ACM
15 years 9 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...