10038 search results - page 1540 / 2008 » Model Checking for Managers |
189
click to vote
UAI
2004
15 years 8 months ago
2004
Early, reliable detection of disease outbreaks is a critical problem today. This paper reports an investigation of the use of causal Bayesian networks to model spatio-temporal pat...
311
click to vote
SCANGIS
2003
15 years 8 months ago
2003
The management and the processing of Earth science data has been gaining importance over the last decade due to higher data volumes generated by a larger number of instruments and ...
175
click to vote
COOTS
1998
15 years 8 months ago
1998
This paper describes the design and implementation of the Mobile Objects and Agents (MOA) project at the Open Group Research Institute. MOA was designed to support migration, comm...
167
click to vote
ECIS
2000
15 years 8 months ago
2000
Yarra Valley Water, a corporatised water utility achieved the significant efficiencies that are promised from the move towards privatisation. At the same time it substantially imp...
164
click to vote
WSCG
2003
15 years 8 months ago
2003
We present an extended framework for modelling agent-object interactions in virtual environments. Our framework is based on the concept of Smart Objects and provides agents with p...