4099 search results - page 597 / 820 » A Framework for Interactive Proof |
164
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper, we address the problem of providing guidelines to designers of mixed-initiative artificial intelligence systems, which specify when the system should take...
167
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—Large-scale applications are characterized by a large number of dynamic and often interactive group members. The nature of these applications is such that participants are not i...
187
click to vote
ITCC
2000
IEEE
15 years 11 months ago
2000
IEEE
As the result of interactions between visitors and a web site, an http log file contains very rich knowledge about users on-site behaviors, which, if fully exploited, can better c...
183
click to vote
MOBIHOC
2000
ACM
15 years 11 months ago
2000
ACM
The rapid spreading of mobile computerized devices marks the beginning of a new computing paradigm characterized by ad hoc networking and spontaneous interaction, taking place tra...
249
click to vote
PLDI
1999
ACM
15 years 11 months ago
1999
ACM
This paper explores compiler techniques for reducing the memory needed to load and run program executables. In embedded systems, where economic incentives to reduce both ram and r...