Sciweavers

4394 search results - page 813 / 879
» Designing agent chips
Sort
View
AAAI
1996
14 years 11 months ago
Comet: An Application of Model-Based Reasoning to Accounting Systems
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
Robert Nado, Melanie Chams, Jeff Delisio, Walter H...
ATAL
2010
Springer
14 years 11 months ago
Worst-case efficiency ratio in false-name-proof combinatorial auction mechanisms
This paper analyzes the worst-case efficiency ratio of falsename-proof combinatorial auction mechanisms. False-nameproofness generalizes strategy-proofness by assuming that a bidd...
Atsushi Iwasaki, Vincent Conitzer, Yoshifusa Omori...
SCFBM
2008
112views more  SCFBM 2008»
14 years 9 months ago
The Multiscale Systems Immunology project: software for cell-based immunological simulation
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...
Faheem Mitha, Timothy A. Lucas, Feng Feng, Thomas ...
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 5 months ago
Effect of network structure on the stability margin of large vehicle formation with distributed control
We study the problem of distributed control of a large network of double-integrator agents to maintain a rigid formation. A few lead vehicles are given information on the desired t...
He Hao, Prabir Barooah, J. J. P. Veerman
CHI
2010
ACM
15 years 5 months ago
Family story play: reading with young children (and elmo) over a distance
We introduce Family Story Play, a system that supports grandparents to read books together with their grandchildren over the Internet. Family Story Play is designed to improve com...
Hayes Raffle, Rafael Ballagas, Glenda Revelle, Hir...