Sciweavers

69 search results - page 10 / 14
» Hybrid models for future event prediction
Sort
View
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
14 years 2 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
SDM
2010
SIAM
256views Data Mining» more  SDM 2010»
13 years 9 months ago
The Application of Statistical Relational Learning to a Database of Criminal and Terrorist Activity
We apply statistical relational learning to a database of criminal and terrorist activity to predict attributes and event outcomes. The database stems from a collection of news ar...
B. Delaney, Andrew S. Fast, W. M. Campbell, C. J. ...
IEAAIE
2009
Springer
13 years 5 months ago
Constructing Decisional DNA on Renewable Energy: A Case Study
Knowledge engineering techniques are becoming useful and popular components of hybrid integrated systems used to solve complicated practical problems in different fields. Knowledge...
Cesar Sanín, Edward Szczerbicki
CCGRID
2008
IEEE
13 years 9 months ago
Performance Optimization for Multi-agent Based Simulation in Grid Environments
Multi-agent based simulation (MABS) is a discrete event simulation technique used to study complex systems with entities having social and autonomous behavior. MABS applications a...
Dawit Mengistu, Peter Tröger
ICCS
2007
Springer
14 years 1 months ago
Adaptive Observation Strategies for Forecast Error Minimization
Abstract. Using a scenario of multiple mobile observing platforms (UAVs) measuring weather variables in distributed regions of the Pacific, we are developing algorithms that will ...
Nicholas Roy, Han-Lim Choi, Daniel Gombos, James H...