Sciweavers

2632 search results - page 338 / 527
» Alternating Timed Automata
Sort
View
AAAI
2007
15 years 4 months ago
Modeling Reciprocal Behavior in Human Bilateral Negotiation
Reciprocity is a key determinant of human behavior and has been well documented in the psychological and behavioral economics literature. This paper shows that reciprocity has sig...
Ya'akov Gal, Avi Pfeffer
WSC
2008
15 years 4 months ago
Multiple worlds in simulation games for spatial decision making: Concept and architecture
In this paper we present the use of "what-if"-analysis in simulation games for spatial decision making by introducing the concept of multiple worlds. We expect that &quo...
Michele Fumarola, Alexander Verbraeck
DAMON
2008
Springer
15 years 3 months ago
Fast scans and joins using flash drives
As access times to main memory and disks continue to diverge, faster non-volatile storage technologies become more attractive for speeding up data analysis applications. NAND flas...
Mehul A. Shah, Stavros Harizopoulos, Janet L. Wien...
ECAI
2008
Springer
15 years 3 months ago
Multi-valued Pattern Databases
Pattern Databases were a major breakthrough in heuristic search by solving hard combinatorial problems various orders of magnitude faster than state-of-the-art techniques at that ...
Carlos Linares López
ETFA
2008
IEEE
15 years 3 months ago
Adaptive real-time scheduling for legacy applications
A remarkable research activity has been carried out in the past few years to support real-time applications by means of appropriate scheduling solutions. For scarcely known or hig...
Luca Abeni, Luigi Palopoli