5255 search results - page 884 / 1051 » Formal Methods for Privacy |
138
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Learning to rank is a new statistical learning technology on creating a ranking model for sorting objects. The technology has been successfully applied to web search, and is becom...
148
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Many important cellular response mechanisms are activated when a peptide binds to an appropriate receptor. In the immune system, the recognition of pathogen peptides begins when th...
146
click to vote
ICCAD
2003
IEEE
16 years 29 days ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
136
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
147
click to vote
KDD
2009
ACM
15 years 10 months ago
2009
ACM
The pervasiveness of mobile devices and location based services is leading to an increasing volume of mobility data. This side effect provides the opportunity for innovative meth...