230 search results - page 41 / 46 » UPPAAL-Tiga: Time for Playing Games! |
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
ALGORITHMICA
2010
13 years 7 months ago
2010
We study the equilibrium behavior of informed traders interacting with market scoring rule (MSR) market makers. One attractive feature of MSR is that it is myopically incentive com...
SIGDIAL
2010
13 years 5 months ago
2010
In spoken communications, correction utterances, which are utterances correcting other participants utterances and behaviors, play crucial roles, and detecting them is one of the ...
TWC
2008
13 years 7 months ago
2008
Abstract-- In distributed wireless networks without centralized control, each user is its own authority to maximize its own performance. This distributed characteristic provides th...
AUTOMOTIVEUI
2009
ACM
14 years 1 months ago
2009
ACM
Auditory display research for driving has mainly focused on collision warning signals, and recent studies on auditory invehicle information presentation have examined only a limit...