1065 search results - page 112 / 213 » Droidel: a general approach to Android framework modeling |
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
121
click to vote
SIGIR
2011
ACM
14 years 19 days ago
2011
ACM
While a user’s preference is directly reflected in the interactive choice process between her and the recommender, this wealth of information was not fully exploited for learni...
SIGIR
2006
ACM
15 years 3 months ago
2006
ACM
This paper proposes a novel framework for music content indexing and retrieval. The music structure information, i.e., timing, harmony and music region content, is represented by ...
SIGMOD
2003
ACM
15 years 10 months ago
2003
ACM
Schema matching is a critical problem for integrating heterogeneous information sources. Traditionally, the problem of matching multiple schemas has essentially relied on finding ...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
The novelty of the approach presented in this paper is the unique object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods...