1414 search results - page 138 / 283 » Automated Metamorphic Testing |
112
Voted
KR
1998
Springer
15 years 6 months ago
1998
Springer
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
164
click to vote
ICLP
1995
Springer
15 years 5 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
109
click to vote
ESANN
2003
15 years 3 months ago
2003
A new technique based on the Artificial Neural Network (ANN) was developed for an automated recognition of solar filaments, dark elongated features visible in the hydrogen H-alpha ...
109
click to vote
AAAI
1998
15 years 3 months ago
1998
The Interchamber Monitoring and Control (IMC) system is semi-autonomous, intelligent software that controls life support systems designed for recycling air in remote space habitat...
117
click to vote
TRIDENTCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper introduces an open access wideband multiantenna wireless testbed. The testbed is configured as a four transmit antenna by four receive antenna system based on software...