21094 search results - page 354 / 4219 » An experiment using DLV-K |
186
click to vote
MVA
1990
15 years 8 months ago
1990
A technique for building a three-dimensional description of a static scene from a spatiotemporal image is presented. This technique utilizes Homocentric Spherical Spatiotemporal I...
192
click to vote
AMAI
2006
Springer
15 years 6 months ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
187
click to vote
IAJIT
2008
15 years 6 months ago
2008
: This paper presents a graph-coloring-based algorithm for the exam scheduling application, with the objective of achieving fairness, accuracy, and optimal exam time period. Throug...
114
click to vote
PRL
2008
15 years 6 months ago
2008
In this paper, a new affine invariant of trapezia is introduced, and the projection of trapezia is deduced from this invariant. Known the lengths of the two parallel sides of a tr...
158
click to vote
PRL
2008
15 years 6 months ago
2008
We consider an active learning game within a transductive learning model. A major problem with many active learning algorithms is that an unreliable current hypothesis can mislead...