Sciweavers

2869 search results - page 229 / 574
» The Inference Problem: A Survey
Sort
View
IJCAI
1989
15 years 8 months ago
Correct Parallel Status Assignment for the Reason Maintenance System
This paper represents a beginning development of a parallel truth maintenance system to interact with a parallel inference engine. We present a solution which performs status assi...
Rosanne M. Fulcomer, William E. Ball
SLP
1989
87views more  SLP 1989»
15 years 8 months ago
Partial Evaluation in Prolog: Some Improvements about Cut
Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrence...
Michele Bugliesi, F. Russo
IJSN
2006
124views more  IJSN 2006»
15 years 7 months ago
Wireless networking security: open issues in trust, management, interoperation and measurement
: The pervasive availability and wide usage of wireless networks with different kinds of topologies, techniques and protocol suites have brought with them a need to improve securit...
Joseph B. Evans, Weichao Wang, Benjamin J. Ewy
JAIR
2006
106views more  JAIR 2006»
15 years 7 months ago
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
PRL
2008
91views more  PRL 2008»
15 years 7 months ago
Fuzzy relevance vector machine for learning from unbalanced data and noise
Handing unbalanced data and noise are two important issues in the field of machine learning. This paper proposed a complete framework of fuzzy relevance vector machine by weightin...
Dingfang Li, Wenchao Hu, Wei Xiong, Jin-Bo Yang