5699 search results - page 958 / 1140 » Alternating model trees |
181
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Ubiquitous computing and service-oriented computing enable the development of a new trend of applications that can opportunely interact with services discovered in the surrounding...
179
click to vote
ARC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Monte Carlo simulation is one of the most widely used techniques for computationally intensive simulations in mathematical analysis and modeling. A multivariate Gaussian ...
160
click to vote
CAV
2009
Springer
16 years 1 months ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
182
click to vote
DAWAK
2009
Springer
16 years 1 months ago
2009
Springer
The appropriate choice of a method for imputation of missing data becomes especially important when the fraction of missing values is large and the data are of mixed type. The prop...
152
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...