This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
The explosive growth in the availability of information is overwhelming traditional information management systems. Although individual pieces of information have become easy to ï¬...
George S. Davidson, Bruce Hendrickson, David K. Jo...
: This paper presents a web-based laboratory for distance learners by incorporating simulation and hardware implementation into web-based e-learning systems. It presents a developm...
Within the past few years, the field of HCI has increasingly addressed the issue of environmental sustainability, primarily identifying the challenges and developing an agenda for...
Jina Huh, Lisa P. Nathan, M. Six Silberman, Eli Bl...
This paper presents a critical view of existing models of user experience. These models view experience as the subjective response in the individual's mind. While designers a...