7991 search results - page 529 / 1599 » Using More Reasoning to Improve |
210
click to vote
IJACTAICIT
2010
15 years 4 months ago
2010
As the size of communication networks keeps on growing, faster connections, cooperating technologies and the divergence of equipment and data communications, the management of the...
237
click to vote
TMC
2012
13 years 9 months ago
2012
—Characterizing the performance of ad hoc networks is one of the most intricate open challenges; conventional ideas based on information-theoretic techniques and inequalities hav...
236
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...
193
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Knowledge processing is an essential technique for enabling autonomous robots to do the right thing to the right object in the right way. Using knowledge processing the robots ...
211
click to vote
ICCBR
2001
Springer
15 years 11 months ago
2001
Springer
For dynamic sales dialogs in electronic commerce scenarios, approaches based on an information gain measure used for attribute selection have been suggested. These measures conside...