Sciweavers

5064 search results - page 135 / 1013
» Recent Developments in Gridsolve
Sort
View
ATAL
2011
Springer
12 years 8 months ago
Game theory-based opponent modeling in large imperfect-information games
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
Sam Ganzfried, Tuomas Sandholm
HICSS
2012
IEEE
296views Biometrics» more  HICSS 2012»
12 years 3 months ago
Sparking Creativity: Improving Electronic Brainstorming with Individual Cognitive Priming
In recent years, there has been growing interest in the study of individual cognition in teams. Meanwhile, we learned that much of human behavior involves nonconscious cognition. ...
Alan R. Dennis, Randall K. Minas, Akshay Bhagwatwa...
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 5 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
IFIP
2001
Springer
14 years 19 days ago
Security Documentation
Effective security management depends upon good risk management, which is itself based upon a reliable risk assessment, involving data collection of all the facets influencing sys...
Lam-for Kwok, Peggy P. K. Fung, Dennis Longley
CASE
2011
70views more  CASE 2011»
12 years 8 months ago
Automation of assembly and packaging at the micro/nano-scale
— This paper provides a general overview of the material covered in the fullday workshop with the same title devoted to the field of automation in microassembly and packaging at...
Micky Rakotondrabe, Yassine Haddab, Cédric ...