1941 search results - page 228 / 389 » The representation of planning strategies |
160
click to vote
IRFC
2010
Springer
15 years 11 months ago
2010
Springer
This study explores the benefits of integrating knowledge representations in prior art patent retrieval. Key to the introduced approach is the utilization of human judgment availa...
185
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...
136
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
We presentthe first configurationspacecomputationalgorithm for pairs of rigid parts that move along fixed spatial axes. The motivation is contactanalysisformechanical design of sp...
166
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A major problem encountered by text clustering practitioners is the difficulty of determining a priori which is the optimal text representation and clustering technique f...
138
click to vote
NIPS
2007
15 years 7 months ago
2007
In this paper we formulate a novel AND/OR graph representation capable of describing the different configurations of deformable articulated objects such as horses. The representa...