3856 search results - page 300 / 772 » Models for Automated Earthmoving |
163
click to vote
ECSQARU
2005
Springer
16 years 8 days ago
2005
Springer
In this paper, we investigate consonant random sets from the point of view of lattice theory. We introduce a new definition of consonancy and study its relationship with possibili...
134
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
In [2] Gentzen calculi for intuitionistic logic extended with an existence predicate were introduced. Such logics were first introduced by Dana Scott, who provided a proof system ...
181
click to vote
KR
2004
Springer
16 years 3 days ago
2004
Springer
To learn to behave in highly complex domains, agents must represent and learn compact models of the world dynamics. In this paper, we present an algorithm for learning probabilist...
157
click to vote
HT
2000
ACM
15 years 11 months ago
2000
ACM
We propose a method (APHID) that assists an instructional designer to define format, structure and sequence within an instructional hypermedia application. Our method uses concept...
155
click to vote
IJBRA
2006
15 years 6 months ago
2006
: This paper proposes a novel statistical evaluation model for automated protein NMR sequential resonance assignment. It can be bound to any assignment program and provides confide...