3690 search results - page 536 / 738 » Computation with classical sequents |
122
click to vote
CSCW
2010
ACM
16 years 2 months ago
2010
ACM
In this paper, we present results from a study of collocated group console gaming. We focus, in particular, on observed gaming practices that emphasized the individual gamer withi...
138
click to vote
CSCW
2010
ACM
16 years 2 months ago
2010
ACM
Most studies of plans and situated work have applied ethnographic methods and and thus fail to provide any quantitative insight into the extent of this phenomenon. We present a st...
147
click to vote
TACAS
2010
Springer
16 years 13 days ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
162
click to vote
TEI
2010
ACM
16 years 9 days ago
2010
ACM
This paper presents a method for prototyping grasp-sensitive surfaces using optical fibers. In this system one end of a fiber bundle is attached to an image sensor. The other en...
170
click to vote
EVOW
2010
Springer
16 years 8 days ago
2010
Springer
We propose a novel distance based method for phylogenetic tree reconstruction. Our method is based on a conceptual clustering method that extends the well-known decision tree learn...