Sciweavers

1855 search results - page 217 / 371
» System Consequence
Sort
View
CSL
2006
Springer
15 years 8 months ago
Logical Omniscience Via Proof Complexity
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
Sergei N. Artëmov, Roman Kuznets
AIIDE
2008
15 years 6 months ago
Modeling Culturally and Emotionally Affected Behavior
Culture and emotions have a profound impact on human behavior. Consequently, high-fidelity simulated interactive environments (e.g., trainers and computer games) that involve virt...
Vadim Bulitko, Steve Solomon, Jonathan Gratch, Mic...
USENIX
2008
15 years 6 months ago
A Dollar from 15 Cents: Cross-Platform Management for Internet Services
As Internet services become ubiquitous, the selection and management of diverse server platforms now affects the bottom line of almost every firm in every industry. Ideally, such ...
Christopher Stewart, Terence Kelly, Alex Zhang, Ka...
CDC
2008
IEEE
186views Control Systems» more  CDC 2008»
15 years 6 months ago
A mathematical model of the Skype VoIP congestion control algorithm
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
Luca De Cicco, Saverio Mascolo, Vittorio Palmisano
173
Voted
ADAPTIVE
2007
Springer
15 years 6 months ago
Personalized Search on the World Wide Web
With the exponential growth of the available information on the World Wide Web, a traditional search engine, even if based on sophisticated document indexing algorithms, has diffi...
Alessandro Micarelli, Fabio Gasparetti, Filippo Sc...