1284 search results - page 211 / 257 » On Helping and Interactive Proof Systems |
FLAIRS
2001
13 years 10 months ago
2001
Electronic Commerce has rapidly grown with the expansion of the Internet. E-commerce has also become a promising field for applying agent and Artificial Intelligence technologies....
AAAI
2000
13 years 10 months ago
2000
Self-organizing models develop realistic cortical structures when given approximations of the visual environment as input, and are an effective way to model the development of fac...
USENIX
2000
13 years 10 months ago
2000
The transition from command-line interfaces to graphical interfaces has resulted in programs that are easier to learn and use, but harder to automate and reuse. Another transition...
LRE
2002
13 years 8 months ago
2002
Users need more sophisticated tools to handle the growing number of image-based documents available in databases. In this paper, we present a system devoted to the editing and bro...
ATAL
2011
Springer
12 years 8 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...