5510 search results - page 1040 / 1102 » Mathematics |
142
click to vote
AIPS
2010
15 years 4 months ago
2010
We introduce the Scanalyzer planning domain, a domain for classical planning which models the problem of automatic greenhouse logistic management. At its mathematical core, the Sc...
141
click to vote
MOBICOM
2010
ACM
15 years 4 months ago
2010
ACM
Mobility traces of people and vehicles have been collected and published to assist the design and evaluation of mobile networks, such as large-scale urban sensing networks. Althou...
121
click to vote
SIGIR
2010
ACM
15 years 4 months ago
2010
ACM
Inferring the score distribution of relevant and non-relevant documents is an essential task for many IR applications (e.g. information filtering, recall-oriented IR, meta-search,...
144
click to vote
CIE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...
152
click to vote
SPAA
2010
ACM
15 years 4 months ago
2010
ACM
We develop logarithmic approximation algorithms for extremely general formulations of multiprocessor multiinterval offline task scheduling to minimize power usage. Here each proce...