5269 search results - page 323 / 1054 » order 2007 |
196
Voted
AIR
2005
15 years 7 months ago
2005
A desired capability of automatic problem solvers is that they can explain the results. Such explanations should justify that the solution proposed by the problem solver arises fr...
169
Voted
ALIFE
2005
15 years 7 months ago
2005
The DNA of some naturally competent species of bacteria contains a large number of evenly distributed copies of a short sequence. This highly overrepresented sequence is believed t...
182
Voted
AML
2005
15 years 7 months ago
2005
IMTL logic was introduced in [12] as a generalization of the infinitely-valued logic of Lukasiewicz, and in [11] it was proved to be the logic of left-continuous t-norms with an i...
180
click to vote
APAL
2005
15 years 7 months ago
2005
In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragm...
220
click to vote
AR
2005
15 years 7 months ago
2005
This paper proposes a real-time, robust and efficient three-dimensional (3D) model-based tracking algorithm. A virtual visual servoing approach is used for monocular 3D tracking. T...