3082 search results - page 564 / 617 » Deviation Analysis: A New Use of Model Checking |
100
click to vote
SODA
2008
ACM
15 years 1 months ago
2008
ACM
Hashing is fundamental to many algorithms and data structures widely used in practice. For theoretical analysis of hashing, there have been two main approaches. First, one can ass...
SIGIR
2008
ACM
14 years 11 months ago
2008
ACM
One of the central issues in learning to rank for information retrieval is to develop algorithms that construct ranking models by directly optimizing evaluation measures used in i...
107
click to vote
CIKM
2011
Springer
13 years 11 months ago
2011
Springer
In most of the cases, scientists depend on previous literature which is relevant to their research fields for developing new ideas. However, it is not wise, nor possible, to trac...
127
click to vote
WSDM
2010
ACM
15 years 9 months ago
2010
ACM
We consider a set of views stating possibly conflicting facts. Negative facts in the views may come, e.g., from functional dependencies in the underlying database schema. We want ...
HICSS
2010
IEEE
15 years 6 months ago
2010
IEEE
Numerous recent papers have found important relationships between network structure and risks within networks. These results indicate that network structure can dramatically affec...