1916 search results - page 106 / 384 » Reasoning with class algebra |
114
click to vote
ISSRE
2002
IEEE
15 years 5 months ago
2002
IEEE
A number of strategies have been proposed for state-based class testing. An important proposal was made by Chow [5] and adapted by Binder [3]: It consists in deriving test sequenc...
108
click to vote
AIR
2004
15 years 18 days ago
2004
Real-world data is never perfect and can often suffer from corruptions (noise) that may impact interpretations of the data, models created from the data and decisions made based on...
93
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
A plan with rich control structures like branches and loops can usually serve as a general solution that solves multiple planning instances in a domain. However, the correctness o...
105
Voted
FLOPS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...
118
click to vote
CACM
2008
15 years 25 days ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...