251 search results - page 31 / 51 » Pure Type Systems without Explicit Contexts |
109
click to vote
OPODIS
2008
15 years 4 months ago
2008
It has been widely suggested that memory transactions should behave as if they acquired and released a single global lock. Unfortunately, this behavior can be expensive to achieve...
148
Voted
AIED
2009
Springer
15 years 18 days ago
2009
Springer
Educational games may be particularly suited to teaching social learning skills with virtual humans. We investigate the importance of social goals and engaging social interactions ...
124
Voted
WOLLIC
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
142
Voted
IJNSEC
2006
15 years 2 months ago
2006
Alert correlation is an important technique for managing large the volume of intrusion alerts that are raised by heterogenous Intrusion Detection Systems (IDSs). The recent trend ...
121
Voted
CHI
2001
ACM
16 years 3 months ago
2001
ACM
In this paper we present a system that electromagnetically tracks the positions and orientations of multiple wireless objects on a tabletop display surface. The system offers two ...