Sciweavers

2522 search results - page 161 / 505
» From Self-Organized Systems to Collective Problem Solving
Sort
View
AAAI
1993
13 years 10 months ago
On the Adequateness of the Connection Method
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
Antje Beringer, Steffen Hölldobler
WAIM
2010
Springer
13 years 7 months ago
Enriching the Contents of Enterprises' Wiki Systems with Web Information
Abstract. Wikis are currently used in providing knowledge management systems for individual enterprises. The initial explanations of word entries (entities) in such a system can be...
Li Zhao, Yexin Wang, Congrui Huang, Yan Zhang
OSDI
2006
ACM
14 years 9 months ago
Flight Data Recorder: Monitoring Persistent-State Interactions to Improve Systems Management
Mismanagement of the persistent state of a system--all the executable files, configuration settings and other data that govern how a system functions--causes reliability problems,...
Chad Verbowski, Emre Kiciman, Arunvijay Kumar, Bra...
USS
2008
13 years 11 months ago
Coercion-Resistant Tallying for STV Voting
There are many advantages to voting schemes in which voters rank all candidates in order, rather than just choosing their favourite. However, these schemes inherently suffer from ...
Vanessa Teague, Kim Ramchen, Lee Naish
AAAI
2008
13 years 11 months ago
Planning for Human-Robot Interaction Using Time-State Aggregated POMDPs
In order to interact successfully in social situations, a robot must be able to observe others' actions and base its own behavior on its beliefs about their intentions. Many ...
Frank Broz, Illah R. Nourbakhsh, Reid G. Simmons