Sciweavers

742 search results - page 29 / 149
» Argumentative alternating offers
Sort
View
ENTCS
2006
136views more  ENTCS 2006»
14 years 11 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 5 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 3 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
15 years 5 months 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»
14 years 11 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...