304 search results - page 18 / 61 » A Multi-Context System Computing Modalities |
HAPTICS
2006
IEEE
14 years 1 months ago
2006
IEEE
Tactile displays that enhance appreciation of virtual and real environments are becoming increasingly common. Extending a series of prior studies, we explored spatial resolution f...
ICMI
2004
Springer
14 years 1 months ago
2004
Springer
We are interested in applying and extending existing frameworks for combining output modalities for adaptations of multimodal content on heterogeneous devices based on user and de...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
LOGCOM
2006
13 years 7 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
SAICSIT
2010
ACM
13 years 5 months ago
2010
ACM
Adaptive computer-based training systems aim to enhance the learning experience by personalising the presentation and content delivery according to the preferences of each particu...