Sciweavers

8030 search results - page 1472 / 1606
» User Interface Softbots
Sort
View
177
Voted
ISWC
1999
IEEE
15 years 7 months ago
Smart Sight: A Tourist Assistant System
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...
Jie Yang, Weiyi Yang, Matthias Denecke, Alex Waibe...
CSMR
1998
IEEE
15 years 7 months ago
Protection Reconfiguration for Reusable Software
Secure distributed applications often include code to authenticate users, verify access rights, and establish secure communication channels between software components (e.g., clie...
Christian Damsgaard Jensen, Daniel Hagimont
159
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
A Practical Method for Verifying Event-Driven Software
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 ...
Gerard J. Holzmann, Margaret H. Smith
105
Voted
FCCM
1998
IEEE
111views VLSI» more  FCCM 1998»
15 years 7 months ago
A Stream-Based Configurable Computing Radio Testbed
Software radios have emerged as important tools in the development of new signal processing algorithms, networking protocols, and propagation experiments in wireless environments....
Steven Swanchara, Scott J. Harper, Peter M. Athana...
112
Voted
FGR
1998
IEEE
107views Biometrics» more  FGR 1998»
15 years 7 months ago
MMID: Multimodal Multi-view Integrated Database for Human Behavior Understanding
This paper introduces the Multimodal Multi-view Integrated Database (MMID), which holds human activities in presentation situations. MMID contains audio, video, human body motions...
Yuichi Nakamura, Yoshifumi Kimura, Y. Yu, Yuichi O...
« Prev « First page 1472 / 1606 Last » Next »