4120 search results - page 677 / 824 » Exploring ocean data |
117
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
107
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Bushfire BLOCKS is a modular, distributed, agent-based simulation for exploring and informing bushfire response strategies. Separate independent modules capture the fire spread, e...
124
click to vote
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
A key feature in population based optimization algorithms is the ability to explore a search space and make a decision based on multiple solutions. In this paper, an incremental le...
113
click to vote
CIDR
2009
15 years 1 months ago
2009
In database query processing, actual run-time conditions (e.g., actual selectivities and actual available memory) very often differ from compile-time expectations of run-time cond...
121
Voted
CIIA
2009
15 years 1 months ago
2009
The increasing power of computers, increasing capacity of digital memory and wider availability of a great variety of input devices such as cameras and video recorders, has resulte...