3428 search results - page 358 / 686 » Making the Case |
191
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
183
click to vote
AMI
2009
Springer
16 years 1 months ago
2009
Springer
Home care professionals play a central role in supporting elderly people when they need help to continue living in their own homes. Using awareness systems, caregivers might better...
186
click to vote
APPT
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, a comprehensive performance review of an MPI-based high-order three-dimensional spectral element method C++ toolbox is presented. The focus is put on the performance...
205
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
Process mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms ...
172
click to vote
WDAG
2009
Springer
16 years 1 months ago
2009
Springer
We study the convergence times of dynamics in games involving graphical relationships of players. Our model of local interaction games generalizes a variety of recently studied ga...