3710 search results - page 272 / 742 » A new calculus of contexts |
203
Voted
ICUMT
2009
15 years 5 months ago
2009
Serious games embody a class of applications able to produce real world benefits for individuals, or for the society, through the entertainment of players engaged in a game. The pe...
168
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper studies dissipativity for a class of infinite-dimensional systems, called pseudorational, in the behavioral context. A basic equivalence condition for dissipativity is e...
216
click to vote
ORDER
2011
15 years 2 months ago
2011
We prove a Hadwiger transversal type result, characterizing convex position on a family of non-crossing convex bodies in the plane. This theorem suggests a definition for the ord...
204
Voted
ACL
2011
14 years 11 months ago
2011
This work introduces a new approach to checking treebank consistency. Derivation trees based on a variant of Tree Adjoining Grammar are used to compare the annotation of word sequ...
207
click to vote
DSN
2011
IEEE
14 years 7 months ago
2011
IEEE
In this work, we study security incidents that occurred over period of 5 years at the National Center for Supercomputing Applications at the University of Illinois. The analysis co...