4493 search results - page 870 / 899 » A Knowledge Recommend System Based on User Model |
FORTE
2004
13 years 9 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
ICISC
2004
13 years 9 months ago
2004
An identity (ID)-based signature scheme allows any pair of users to verify each other's signatures without exchanging public key certificates. With the advent of Bilinear maps...
AVI
1996
13 years 9 months ago
1996
: This paper introduces a visual interface for computer-supported cooperative work (CSCW). The interface is an extension of the editor interface of ESCHER, a prototype database sys...
AIIDE
2009
13 years 8 months ago
2009
Players perceive information about game environments through a virtual camera. While a significant discussion in the industry and in academic research circles has centered around ...
AIPS
2009
13 years 8 months ago
2009
Nowadays many urban areas have been equipped with networks of surveillance cameras, which can be used for automatic localization and tracking of people. However, given the large r...