2397 search results - page 168 / 480 » Applications of integer relation algorithms |
144
click to vote
ENVSOFT
2008
15 years 6 months ago
2008
In this study we investigated the perspective offered by coupling a simple vegetation growth model and ground-based remotely-sensed data for the monitoring of wheat production. A ...
179
click to vote
SIGOPS
2010
15 years 4 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
425
click to vote
ICDE
2008
IEEE
17 years 6 months ago
2008
IEEE
Recently, there has been much interest in processing skyline queries for various applications that include decision making, personalized services, and search pruning. Skyline queri...
187
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
168
click to vote
APPROX
2005
Springer
16 years 1 days ago
2005
Springer
A large class of stochastic optimization problems can be modeled as minimizing an objective function f that depends on a choice of a vector x ∈ X, as well as on a random external...