121 search results - page 13 / 25 » Adaptive Application of SAT Solving Techniques |
IFIP8
2004
13 years 9 months ago
2004
: The heterogeneity of device capabilities, network conditions and user contexts that is associated with mobile computing has emphasized the need for more advanced forms of adaptat...
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
In this paper, we present a novel method to adapt the temporal radio maps for indoor location determination by offsetting the variational environmental factors using data mining t...
IADIS
2004
13 years 9 months ago
2004
In this paper we claim that the new generation of Web-based systems should offer an intelligent, flexible and interactive support to their users, coupled with the ability to provi...
IDEAS
2000
IEEE
14 years 11 days ago
2000
IEEE
Today many applications routinely generate large quantities of data. The data often takes the form of (time) series, or more generally streams, i.e. an ordered sequence of records...
CF
2006
ACM
13 years 11 months ago
2006
ACM
Adaptive mesh refinement (AMR) is a powerful technique that reduces the resources necessary to solve otherwise intractable problems in computational science. The AMR strategy solv...