Sciweavers

26071 search results - page 365 / 5215
» Making
Sort
View
CDES
2009
170views Hardware» more  CDES 2009»
15 years 8 months ago
Benchmarking GPU Devices with N-Body Simulations
Recent developments in processing devices such as graphical processing units and multi-core systems offer opportunities to make use of parallel techniques at the chip level to obt...
Daniel P. Playne, Mitchell Johnson, Kenneth A. Haw...
ECAI
2010
Springer
15 years 8 months ago
Case-Based Multiagent Reinforcement Learning: Cases as Heuristics for Selection of Actions
This work presents a new approach that allows the use of cases in a case base as heuristics to speed up Multiagent Reinforcement Learning algorithms, combining Case-Based Reasoning...
Reinaldo A. C. Bianchi, Ramon López de M&aa...
COMAD
2009
15 years 8 months ago
CRM Analytics Framework
Implementing a CRM Analytics solution for a business involves many steps including data extraction, populating the extracted data into a warehouse, and running an appropriate mini...
Joseph P. Bigus, Upendra Chitnis, Prasad M. Deshpa...
DAIS
2009
15 years 8 months ago
D-Praxis : A Peer-to-Peer Collaborative Model Editing Framework
Large-scale industrial systems involve nowadays hundreds of developers working on hundreds of models representing parts of the whole system specification. Unfortunately, few tool s...
Alix Mougenot, Xavier Blanc, Marie-Pierre Gervais
CAV
2010
Springer
185views Hardware» more  CAV 2010»
15 years 7 months ago
Achieving Distributed Control through Model Checking
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
Susanne Graf, Doron Peled, Sophie Quinton