3239 search results - page 228 / 648 » A Logical Process Calculus |
142
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
—The feature selection phase is one of the first, and yet very important, tasks to be completed during the development of any Intrusion Detection System. If this phase is neglec...
156
Voted
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Carbon Nanotube Field-Effect Transistors (CNFETs) show big promise as extensions to silicon-CMOS because: 1) Ideal CNFETs can provide significant energy and performance benefits o...
127
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The paper features MAVE, a knowledge-based system for answer validation through deep linguistic processing and logical inference. A relaxation loop is used to determine a...
157
click to vote
GPCE
2008
Springer
15 years 6 months ago
2008
Springer
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
135
Voted
PRIMA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rule...