5722 search results - page 483 / 1145 » Security Function Interactions |
125
click to vote
INTERACT
2003
15 years 6 months ago
2003
: This work uses Artificial Intelligence (AI) in an electronic communication interface to improve people’s ability to focus on important communications. Many social cues that all...
124
click to vote
INTERACT
2003
15 years 6 months ago
2003
: This study investigates blind users’ mental models of Windows environment and their strategies in coping with new desktops and applications. The relationship between users’ m...
151
click to vote
INTERACT
2003
15 years 6 months ago
2003
: The concept of Learning Objects has been introduced in the e-learning field to enhance the accessibility, reusability, and interoperability of learning content. Despite intensive...
156
Voted
INTERACT
1997
15 years 6 months ago
1997
In the following we will describe experiences made when introducing a shared workspace in a German federal ministry to support the cooperative typing of documents. It will be shown...
124
click to vote
JAR
2008
15 years 4 months ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...