2989 search results - page 360 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
199
Voted
ICDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
With the proliferation of wireless devices, mobile ad hoc networking (MANET) has become a very exciting and important technology due to its characteristics of open medium and dyna...
180
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
One common predictive modeling challenge occurs in text mining problems is that the training data and the operational (testing) data are drawn from different underlying distributi...
178
click to vote
SENSYS
2003
ACM
15 years 11 months ago
2003
ACM
Sensor networks not only have the potential to change the way we use, interact with, and view computers, but also the way we use, interact with, and view the world around us. In o...
156
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a new theoretical derivation, evaluation methods, and extensive empirical analysis for an automatic query expansion framework in which model estimation is cast as a r...
202
click to vote
JSAT
2006
15 years 6 months ago
2006
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization...