6357 search results - page 1041 / 1272 » An Interactive Interface for Lighting-by-Example |
192
click to vote
ISWC
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we present our e orts towards developing an intelligent tourist system. The system is equipped with a unique combination of sensors and software. The hardware inclu...
167
click to vote
ICSE
1999
IEEE-ACM
15 years 9 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
135
click to vote
ISWC
1998
IEEE
15 years 9 months ago
1998
IEEE
Wearable computers provide constant access to computing and communications resources. In this paper we describe how the computing power of wearables can be used to provide spatial...
145
Voted
ITS
1998
Springer
15 years 9 months ago
1998
Springer
The Tutoring Research Group at the University of Memphis is developing an intelligent tutoring system which takes advantages of recent technological advances in the areas of semant...
126
Voted
CHI
1996
ACM
15 years 9 months ago
1996
ACM
Rapid growth in 3-D rendering technologies has deluged us with glitzy graphical representations. In what contexts do people find 3-D graphs of 2-D data both attractive and useful?...