3233 search results - page 541 / 647 » Validation Method for Intelligent Systems |
191
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...
180
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. There have been some Artificial Intelligence applications developed for electronic circuits diagnosis, but much remains to be done in this field, above all in the analo...
197
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we extend the work done by Choubey and Raghavan, which proposed an approach to content-based image retrieval that uses the space transformation methods proposed by G...
184
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
155
click to vote
PADS
1999
ACM
15 years 10 months ago
1999
ACM
This paper introduces a novel algorithm, the Active Virtual Network Management Protocol AVNMP , for predictive network management. It explains how the Active Virtual Network Mana...