3375 search results - page 362 / 675 » Resource Sharing in Performance Models |
159
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
In recent years, Boolean Satisfiability (SAT) has been shown to hold potential for Unbounded Model Checking (UMC). The success of SAT-based UMC largely relies on (i) the SAT solv...
149
click to vote
IJCAI
2007
15 years 8 months ago
2007
In this paper, we argue that the agglomerative clustering with vector cosine similarity measure performs poorly due to two reasons. First, the nearest neighbors of a document belo...
154
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
It is widely conjectured that the excellent ROC performance of biological vision systems is due in large part to the exploitation of context at each of many levels in a part/whole...
203
click to vote
UIC
2009
Springer
16 years 1 months ago
2009
Springer
Social networking has provided powerful new ways to find people, organize groups, and share information. Recently, the potential functionalities of the ubiquitous infrastructure le...
171
click to vote
SAC
2005
ACM
16 years 7 days ago
2005
ACM
Because of name variations, an author may have multiple names and multiple authors may share the same name. Such name ambiguity affects the performance of document retrieval, web ...