Sciweavers

4810 search results - page 303 / 962
» Modeling Value Speculation
Sort
View
CHI
2005
ACM
16 years 7 months ago
Beyond being in the lab: using multi-agent modeling to isolate competing hypotheses
In studies of virtual teams, it is difficult to determine pure effects of geographic isolation and uneven communication technology. We developed a multi-agent computer model in Ne...
Ning Nan, Erik W. Johnston, Judith S. Olson, Natha...
PEPM
2009
ACM
16 years 3 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
IROS
2009
IEEE
201views Robotics» more  IROS 2009»
16 years 1 months ago
Modeling tool-body assimilation using second-order Recurrent Neural Network
— Tool-body assimilation is one of the intelligent human abilities. Through trial and experience, humans are capable of using tools as if they are part of their own bodies. This ...
Shun Nishide, Tatsuhiro Nakagawa, Tetsuya Ogata, J...
ATAL
2009
Springer
16 years 1 months ago
Facing the challenge of human-agent negotiations via effective general opponent modeling
Automated negotiation agents capable of negotiating efficiently with people must deal with the fact that people are diverse in their behavior and each individual might negotiate ...
Yinon Oshrat, Raz Lin, Sarit Kraus
ASPDAC
2009
ACM
262views Hardware» more  ASPDAC 2009»
16 years 1 months ago
Fault modeling and testing of retention flip-flops in low power designs
Low power circuits have become a necessary part in modern designs. Retention flip-flop is one of the most important components in low power designs. Conventional test methodologie...
Bing-Chuan Bai, Augusli Kifli, Chien-Mo James Li, ...