We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...
This paper presents a method for incorporating natural language processing into existing text categorization procedures. Three aspects are considered in the investigation: (i) a m...
The Round Earth Project is investigating how virtual reality technology can be used to help teach concepts that are counter-intuitive to a learner's currently held mental mod...
Andrew E. Johnson, Thomas G. Moher, Stellan Ohlsso...
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...
- Key characteristics of newly emerging IC technologies render the traditional concept of die size minimization and traditional "design rules" insufficient to handle the ...
Wojciech Maly, Hans T. Heineken, Jitendra Khare, P...