744 search results - page 91 / 149 » Observations on the Decidability of Transitions |
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a mean...
COMPSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
WACV
2005
IEEE
14 years 2 months ago
2005
IEEE
As tracking systems become more effective at reliably tracking multiple objects over extended periods of time within single camera views and across overlapping camera views, incre...
ICTAI
2003
IEEE
2003
IEEE
Genetic Algorithm Calibration of Probabilistic Cellular Automata for Modeling Mining Permit Activity
14 years 2 months ago
We use a genetic algorithm to calibrate a spatially and temporally resolved cellular automata to model mining activity on public land in Idaho and western Montana. The genetic alg...
ICANN
2009
Springer
14 years 1 months ago
2009
Springer
Recurrent neural networks serve as black-box models for nonlinear dynamical systems identification and time series prediction. Training of recurrent networks typically minimizes t...