3758 search results - page 397 / 752 » A Complete Subsumption Algorithm |
178
click to vote
NIPS
2003
15 years 8 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
176
click to vote
NIPS
2003
15 years 8 months ago
2003
Discrete Fourier transforms and other related Fourier methods have been practically implementable due to the fast Fourier transform (FFT). However there are many situations where ...
162
click to vote
AAAI
1998
15 years 8 months ago
1998
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...
192
click to vote
VCIP
2003
15 years 8 months ago
2003
This paper presents a novel method for virtual view generation that allows viewers to
y through in a real soccer scene. A soccer match is captured by multiple cameras at a stadiu...
155
click to vote
IWFM
1998
15 years 8 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...