5550 search results - page 1087 / 1110 » Different Approaches to Proof Systems |
MM
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we propose and investigate a new user scenario for face annotation, in which users are allowed to multi-select a group of photographs and assign names to these phot...
PROFES
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. System architectures are described in abstract terms, often using Design Patterns. Actual reuse based on such descriptions requires that each development project derive a...
SIGECOM
2003
ACM
15 years 3 months ago
2003
ACM
Peer-to-Peer eCommerce communities are commonly perceived as an environment offering both opportunities and threats. One way to minimize threats in such an open community is to us...
CIKM
2003
Springer
15 years 3 months ago
2003
Springer
Out of vocabulary (OOV) words are problematic for cross language information retrieval. One way to deal with OOV words when the two languages have different alphabets, is to trans...
KI
2001
Springer
15 years 2 months ago
2001
Springer
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...