912 search results - page 114 / 183 » Abstract Saturation-Based Inference |
SBIA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The aim of this paper is to study a family of logics that approximates classical inference, in which every step in the approximation can be decided in polynomial time. Fo...
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Enabling trust on the Semantic Web to ensure more efficient agent interaction is an important research topic. Current research on trust seems to focus on developing comp...
100
click to vote
TYPES
2004
Springer
15 years 5 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a discriminatively trained model for joint modelling of object class labels (e.g. “person”, “dog”, “chair”, etc.) and their visual attributes (e.g....
INFOCOM
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract— We present a distributed scheme for trust inference in peer-to-peer networks. Our work is in context of the NICE system, which is a platform for implementing cooperativ...