127 search results - page 20 / 26 » Measuring the Hardness of SAT Instances |
94
Voted
CIA
2006
Springer
15 years 5 months ago
2006
Springer
Large-scale sensor networks are becoming more present in our life then ever. Such an environment could be a cellular network, an array of fire detection sensors, an array of solar ...
140
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
Transferring knowledge from one domain to another is challenging due to a number of reasons. Since both conditional and marginal distribution of the training data and test data ar...
IMC
2003
ACM
15 years 7 months ago
2003
ACM
—This paper presents a family of bitmap algorithms that address the problem of counting the number of distinct header patterns (flows) seen on a high-speed link. Such counting c...
120
Voted
RTSS
2008
IEEE
15 years 8 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
121
click to vote
MSR
2006
ACM
15 years 7 months ago
2006
ACM
Similarity analysis of source code is helpful during development to provide, for instance, better support for code reuse. Consider a development environment that analyzes code whi...