2163 search results - page 80 / 433 » cases 2004 |
AI
2004
Springer
14 years 9 months ago
2004
Springer
In this paper, we investigate the extent to which knowledge compilation can be used to improve model checking and inference from propositional weighted bases. We first focus on th...
ARSCOM
2004
14 years 9 months ago
2004
The existence question for the family of 4-(15, 5, ) designs has long been answered for all values of except = 2. Here, we resolve this last undecided case and prove that 4-(15, ...
EWCBR
2004
Springer
15 years 3 months ago
2004
Springer
The case-based reasoning approach to email response consists of reusing past messages to synthesize new responses to incoming requests. This task presents various challenges due to...
AWCC
2004
Springer
15 years 3 months ago
2004
Springer
This paper proposes progressive group testing techniques to test large number of Web services (WS) available on Internet. At the unit testing level, the WS with the same functional...
ACRI
2004
Springer
15 years 1 months ago
2004
Springer
We study herewith the simple threshold cellular automata (CA), as perhaps the simplest broad class of CA with non-additive (i.e., non-linear and non-affine) local update rules. We ...