892 search results - page 73 / 179 » Strategies in sentential reasoning |
120
click to vote
ARTMED
1999
15 years 4 months ago
1999
The process of reprogramming a cardiac pacemaker can be described in terms similar to those used for describing diagnostic problem solving. In this paper, the process of reprogram...
169
click to vote
JAIHC
2010
15 years 3 months ago
2010
The state of the art is explored in using soft computing (SC) methods for network intrusion detection, including the examination of efforts in ten specific areas of SC as well as ...
123
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Ontological metamodeling has a variety of applications yet only very restricted forms are supported by OWL 2 directly. We propose a novel encoding scheme enabling class-based metam...
166
click to vote
TMC
2012
13 years 7 months ago
2012
—Sensor networks nowadays are widely used for structural health monitoring; for example, the sensor monitoring system deployed on the Guangzhou New TV Tower, China. While wired s...
225
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...