1664 search results - page 103 / 333 » Towards Partial Reasoning |
100
click to vote
LOPSTR
2009
Springer
15 years 5 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
103
click to vote
CBSE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. A component-based system consists of components linked by connectors. Data can reside in components and/or in external data stores. Operations on data, such as access, up...
116
click to vote
RSCTC
2000
Springer
15 years 4 months ago
2000
Springer
This paper introduces a neural network architecture based on rough sets and rough membership functions. The neurons of such networks instantiate approximate reasoning in assessing ...
80
Voted
HOTDEP
2008
15 years 3 months ago
2008
Manageability directly influences a system's reliability, availability, security, and safety, thus being a key ingredient of system dependability. Alas, we do not have today ...
111
Voted
KRMED
2004
15 years 2 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...