7991 search results - page 569 / 1599 » Using More Reasoning to Improve |
173
click to vote
ESA
2008
Springer
15 years 9 months ago
2008
Springer
The focus is on black-box optimization of a function f : RN R given as a black box, i. e. an oracle for f-evaluations. This is commonly called direct search, and in fact, most meth...
217
click to vote
ESOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
148
click to vote
AIPS
1996
15 years 8 months ago
1996
We have been examining mixed-initiative planning systems in the context of command and control or logistical overview situations. In such environments, the human and the computer ...
157
click to vote
GIS
2008
ACM
15 years 7 months ago
2008
ACM
SRTM data is distributed at horizontal resolution of 30 meters for areas within the U.S.A. and at 90 meters resolution for the rest of the world. A resolution of 90m can be conside...
186
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
We propose a new and powerful tool for the analysis of trajectories, which in particular allows for more temporally aware analyses. Time plays an important role in the analysis of ...