12981 search results - page 2210 / 2597 » Model Checking (Abstract) |
144
Voted
ADBIS
2009
Springer
15 years 11 months ago
2009
Springer
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...
143
click to vote
ADHOCNETS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Existing localization techniques such as GPS have fundamental limitations which preclude deployment in urban canyons or areas with inconsistent network availability. Augm...
166
click to vote
ADMA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Crawling the deep web often requires the selection of an appropriate set of queries so that they can cover most of the documents in the data source with low cost. This ca...
145
click to vote
ADMI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We study the problem of predictive data mining in the competitive multi-agent setting, in which each agent is assumed to have some partial knowledge needed for correctly ...
159
click to vote
ALDT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. An optimal probabilistic-planning algorithm solves a problem, usually modeled by a Markov decision process, by finding its optimal policy. In this paper, we study the k ...