Sciweavers

1762 search results - page 172 / 353
» Brahms: simulating practice for work systems design
Sort
View
CHI
2010
ACM
16 years 1 months ago
Building interpretable discussions: for effective public engagement
Shifts in the culture of civic engagement, technologies and practices surrounding social media, and pressure from political leaders have ignited a movement amongst gov’t agencie...
Travis Kriplean
ATAL
2003
Springer
15 years 11 months ago
I am Autonomous, You are Autonomous
Autonomy is regarded as a crucial notion in multi-agent systems and several researchers have tried to identify what are the agent's parts that give it an autonomous character....
Hans Weigand, Virginia Dignum
CHI
1995
ACM
15 years 10 months ago
Belvedere: stimulating students' critical discussion
We describe “Belvedere,” a system to support students engaged in critical discussion of science and public policy issues. The design is intended to address cognitive and metac...
Massimo Paolucci, Daniel D. Suthers, Arlene Weiner
AC
2005
Springer
15 years 6 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
ISI
2006
Springer
15 years 6 months ago
Towards Optimal Police Patrol Routes with Genetic Algorithms
It is quite consensual that police patrolling can be regarded as one of the best well-known practices for implementing public-safety preventive policies towards the combat of an as...
Danilo Reis, Adriano Melo, André L. V. Coel...