3337 search results - page 148 / 668 » interactions 2006 |
MSCS
2007
13 years 7 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
PUC
2010
13 years 6 months ago
2010
Human computer interaction (HCI) has little explored everyday life and enriching experiences in rural, wilderness and other predominantly ‘‘natural’’ places despite their s...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
Electronic democracy should provide information and service for the citizens on the Internet, allowing room for debate, participation and electronic voting. The languages being ad...
AVI
2006
13 years 9 months ago
2006
Structured graphics models such as Scalable Vector Graphics (SVG) enable designers to create visually rich graphics for user interfaces. Unfortunately current programming tools ma...
ECTEL
2006
Springer
13 years 12 months ago
2006
Springer
School education today aims at improving the integration of school and professional life. A popular way to provide first hand experiences to students are guided factory tours. Comp...