3210 search results - page 288 / 642 » Secure Similarity Search |
175
click to vote
OOPSLA
2010
Springer
2010
Springer
Encapsulation and locality: a foundation for concurrency support in multi-language virtual machines?
15 years 4 months ago
We propose to search for common abstractions for different concurrency models to enable high-level language virtual machines to support a wide range of different concurrency model...
187
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
—We show that Kripke semantics of modal logic, manifest in the syntactic proof formalism of labeled sequent calculi, can be used to solve three central problems in access control...
186
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
In large software development projects, when a programmer is assigned a bug to fix, she typically spends a lot of time searching (in an ad-hoc manner) for instances from the past ...
138
click to vote
STOC
2009
ACM
16 years 7 months ago
2009
ACM
One of the most fundamental problems in web search is how to re-rank result web pages based on user logs. Most traditional models for re-ranking assume each query has a single int...
204
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Searching for images of people is an essential task for image and video search engines. However, current search engines have limited capabilities for this task since they rely on ...