Sciweavers

889 search results - page 114 / 178
» A computational model of achievement motivation for artifici...
Sort
View
IMA
2007
Springer
129views Cryptology» more  IMA 2007»
14 years 2 months ago
Toward Acceleration of RSA Using 3D Graphics Hardware
Demand in the consumer market for graphics hardware that accelerates rendering of 3D images has resulted in commodity devices capable of astonishing levels of performance. These re...
Andrew Moss, Dan Page, Nigel P. Smart
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
CVPR
2009
IEEE
15 years 3 months ago
Discriminative Structure Learning of Hierarchical Representations for Object Detection
A variety of flexible models have been proposed to detect objects in challenging real world scenes. Motivated by some of the most successful techniques, we propose a hierarchica...
Paul Schnitzspan (TU Darmstadt), Mario Fritz (Univ...
AAMAS
2007
Springer
14 years 2 months ago
Optimal Control in Large Stochastic Multi-agent Systems
Abstract. We study optimal control in large stochastic multi-agent systems in continuous space and time. We consider multi-agent systems where agents have independent dynamics with...
Bart van den Broek, Wim Wiegerinck, Bert Kappen
ATAL
2009
Springer
14 years 2 months ago
Abstraction in model checking multi-agent systems
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco ...