Sciweavers

742 search results - page 29 / 149
» Argumentative alternating offers
Sort
View
ENTCS
2006
136views more  ENTCS 2006»
15 years 6 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
ITCC
2003
IEEE
15 years 11 months ago
Designer Adaptation in Adaptive Hypermedia Authoring
Recently, the importance of creating authoring support for adaptive hypermedia system design offering multimodality and personalization is becoming evident [4][5][6][7][1]. In the...
Alexandra I. Cristea, Arnout de Mooij
MICRO
1994
IEEE
113views Hardware» more  MICRO 1994»
15 years 10 months ago
Static branch frequency and program profile analysis
: Program profiles identify frequently executed portions of a program, which are the places at which optimizations offer programmers and compilers the greatest benefit. Compilers, ...
Youfeng Wu, James R. Larus
IAT
2006
IEEE
16 years 6 days ago
Autonomous Agent as Helper - Helpful or Annoying?
This is an investigation into the feasibility of agentprovided assistance for two specific situations, (1) when a previously-interrupted task is resumed, offer to open previously-...
Paul Rudman, Mary Zajicek
IJHPCN
2008
75views more  IJHPCN 2008»
15 years 6 months ago
A hybrid connector for efficient web servers
: In this paper we introduce a novel web server architecture that combines the best aspects of both the multithreaded and the event-driven architectures, the two major existing alt...
David Carrera, Vicenç Beltran, Jordi Torres...