3719 search results - page 150 / 744 » order 2010 |
135
click to vote
ADHOC
2010
15 years 4 months ago
2010
In this paper we investigate the possibility of a new type of application, namely multiplayer games, in a Vehicular Ad Hoc Network (VANET) environment. First, we analyze the avail...
119
click to vote
AICOM
2010
15 years 4 months ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
134
click to vote
AICOM
2010
15 years 4 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
125
Voted
ALGORITHMICA
2010
15 years 4 months ago
2010
Let I be a stable matching instance with N stable matchings. For each man m, order his (not necessarily distinct) N partners from his most preferred to his least preferred. Denote...
154
Voted
AML
2010
15 years 4 months ago
2010
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...