Sciweavers

1900 search results - page 154 / 380
» The Four Phase Method for Modelling Complex Systems
Sort
View
AI
2008
Springer
15 years 3 months ago
Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
Di Wu, Xenofon D. Koutsoukos
JCNS
2000
120views more  JCNS 2000»
15 years 2 months ago
Robust Spectrotemporal Reverse Correlation for the Auditory System: Optimizing Stimulus Design
Abstract. The spectrotemporal receptive field (STRF) is a functional descriptor of the linear processing of timevarying acoustic spectra by the auditory system. By cross-correlatin...
David J. Klein, Didier A. Depireux, Jonathan Z. Si...
ATAL
2007
Springer
15 years 9 months ago
Normative system games
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
ICMCS
1999
IEEE
259views Multimedia» more  ICMCS 1999»
15 years 7 months ago
PhotoBuilder - 3D Models of Architectural Scenes from Uncalibrated Images
We address the problem of recovering 3D models from uncalibrated images of architectural scenes. We propose a simple, geometrically intuitive method which exploits the strong rigi...
Roberto Cipolla, Duncan P. Robertson, Edmond Boyer
UM
2009
Springer
15 years 9 months ago
Narcissus: Group and Individual Models to Support Small Group Work
Long term group work by small teams is a central part of many learning and workplace activities. Widespread group support tools such as wikis, version control systems and issue tra...
Kimberley Upton, Judy Kay