5423 search results - page 260 / 1085 » Denial-of-service in automation systems |
184
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...
187
click to vote
EWCBR
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents the CARE-PARTNER system. Functionally, it offers via the WWW knowledge-support assistance to clinicians responsible for the long-term follow-up of stem-cell pos...
175
click to vote
TARK
1998
Springer
15 years 11 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
140
click to vote
ECSQARU
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
209
click to vote
EWCBR
1993
Springer
15 years 10 months ago
1993
Springer
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...