2519 search results - page 303 / 504 » Reasoning with Textual Cases |
208
click to vote
ATS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present a technique for reducing the test length of counter-based pseudo-exhaustive built-in self-testing (BIST) based on width compression method. More formally...
190
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
161
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
141
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a hybrid artificial intelligent solution that helps to automatically generate proposals, aimed at improving the internal states of organization units from a Kno...
218
click to vote
RR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...