2050 search results - page 8 / 410 » Shapes as empirical distributions |
96
Voted
SAT
2010
Springer
14 years 8 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
78
Voted
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
It is widely believed that distributed software development is riskier and more challenging than collocated development. Prior literature on distributed development in software en...
ICDCS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—We present results from measurements of the filtering of HTTP HTML responses in China, which is based on string matching and TCP reset injection by backbone-level route...
SISAP
2008
IEEE
15 years 4 months ago
2008
IEEE
Similarity search has been proved suitable for searching in very large collections of unstructured data objects. We are interested in efficient parallel query processing under si...
105
click to vote
VL
2002
IEEE
15 years 2 months ago
2002
IEEE
Previous studies of program visualization have generally failed to provide convincing support for the benefits of algorithm animation in promoting the understanding of computatio...