1414 search results - page 138 / 283 » Automated Metamorphic Testing |
KR
1998
Springer
14 years 1 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...
ICLP
1995
Springer
14 years 22 days 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...
ESANN
2003
13 years 10 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 ...
AAAI
1998
13 years 10 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...
TRIDENTCOM
2005
IEEE
14 years 2 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...