1917 search results - page 114 / 384 » Experimenting with Nonmonotonic Reasoning |
108
Voted
CL
2000
Springer
15 years 4 months ago
2000
Springer
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
102
Voted
KR
2000
Springer
15 years 4 months ago
2000
Springer
We address the experiences of the DARPA High Performance Knowledge Bases (HPKB) (Cohen et al., 1998) project in practical knowledge representation. The purpose of the HPKB project...
143
click to vote
EWCBR
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we introduce a new instance-based approach to the label ranking problem. This approach is based on a probability model on rankings which is known as the Mallows mode...
107
Voted
FLOPS
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we describe some certified algorithms for exact real arithmetic based on co-recursion. Our work is based on previous experiences using redundant digits of base 2 but ...
122
Voted
ICVGIP
2004
15 years 2 months ago
2004
We present a new active active recognition scheme (using an uncalibrated camera) based on a new idea, appearancebased aspect graphs. The scheme is robust to background clutter, an...