5158 search results - page 321 / 1032 » Generalization of the Dempster-Shafer Theory |
140
click to vote
JGT
2010
15 years 5 months ago
2010
: A well-known result of Tutte states that a 3-connected graph G is planar if and only if every edge of G is contained in exactly two induced non-separating circuits. Bixby and Cun...
175
click to vote
JUCS
2010
15 years 5 months ago
2010
: The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between upd...
184
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
213
click to vote
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes a general scheme to convert sequential ant-based algorithms into parallel shared memory algorithms. The scheme is applied to an ant-based algorithm for the ma...
160
click to vote
HRI
2009
ACM
15 years 4 months ago
2009
ACM
We use the Cargo Cult metaphor to discuss visions, methods and communication of robot research. Essentially cargo cult involves performing of imitative rituals that are conducted ...