655 search results - page 128 / 131 » Intelligent User Interfaces: An Introduction |
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
For many years mobile visitor information systems for museums or exhibitions are a topic of research. Research prototypes aim to provide the user with powerful means for organizin...
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
In this paper, we introduce a toolkit called SceneMaker for authoring scenes for adaptive, interactive performances. These performances are based on automatically generated and pr...
SENSYS
2010
ACM
13 years 8 months ago
2010
ACM
Passive monitoring is an important tool for measuring, troubleshooting, and protecting modern wireless networks. To date, WiFi monitoring has focused primarily on indoor settings ...
WWW
2005
ACM
14 years 11 months ago
2005
ACM
This paper discusses generating document structure from annotated media repositories in a domain-independent manner. This approaches the vision of a universal RDF browser. We star...
TPHOL
2008
IEEE
14 years 5 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...