Sciweavers

10568 search results - page 164 / 2114
» Computer Intelligence and Formalization
Sort
View
112
Voted
ATAL
2007
Springer
15 years 8 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....
105
Voted
GCC
2004
Springer
15 years 8 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 ...
CAINE
2008
15 years 4 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...
132
Voted
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
15 years 9 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
66
Voted
IPPS
2007
IEEE
15 years 9 months ago
Intelligent Optimization of Parallel and Distributed Applications
Bhupesh Bansal, Ümit V. Çatalyüre...