21984 search results - page 4107 / 4397 » C |
160
click to vote
AIML
2004
15 years 8 months ago
2004
We are going to show that the standard notion of Kripke completeness is the strongest one among many provably distinct algebraically motivated completeness properties, some of whic...
151
click to vote
AVI
2004
15 years 8 months ago
2004
Recent advances in computer video projection open up new possibilities for real-time interactive, persuasive displays. Now a display can continuously adapt to a viewer so as to ma...
190
click to vote
AVI
2004
15 years 8 months ago
2004
Our studies have shown that as displays become larger, users leave more windows open for easy multitasking. A larger number of windows, however, may increase the time that users s...
174
click to vote
AVI
2006
15 years 8 months ago
2006
The need for effective search for television content is growing as the number of choices for TV viewing and/or recording explodes. In this paper we describe a preliminary prototyp...
174
click to vote
CASCON
2004
15 years 8 months ago
2004
Due in part to the large volume of data available today, but more importantly to privacy concerns, data are often distributed across institutional, geographical and organizational...