Sciweavers

10568 search results - page 164 / 2114
» Computer Intelligence and Formalization
Sort
View
ATAL
2007
Springer
15 years 4 months ago
On the robustness of preference aggregation in noisy environments
In an election held in a noisy environment, agents may unintentionally perturb the outcome by communicating faulty preferences. We investigate this setting by introducing a theore...
Ariel D. Procaccia, Jeffrey S. Rosenschein, Gal A....
GCC
2004
Springer
15 years 3 months ago
Agent-Oriented Formal Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David ...
90
Voted
CAINE
2008
14 years 11 months ago
Scripted Artificially Intelligent Basic Online Tactical Simulation
For many years, introductory Computer Science courses have followed the same teaching paradigms. These paradigms utilize only simple console windows; more interactive approaches t...
Jesse D. Phillips, Roger V. Hoang, Joseph D. Mahsm...
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
15 years 4 months ago
Self-adjusting Computation with Delta ML
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
Umut A. Acar, Ruy Ley-Wild
43
Voted
IPPS
2007
IEEE
15 years 4 months ago
Intelligent Optimization of Parallel and Distributed Applications
Bhupesh Bansal, Ümit V. Çatalyüre...