912 search results - page 114 / 183 » Abstract Saturation-Based Inference |
169
Voted
SBIA
2004
Springer
16 years 27 days 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...
173
click to vote
SEMWEB
2004
Springer
16 years 27 days 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...
191
Voted
TYPES
2004
Springer
16 years 26 days 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...
185
click to vote
ECCV
2010
Springer
16 years 26 days 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....
188
Voted
INFOCOM
2003
IEEE
16 years 25 days 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...