2794 search results - page 358 / 559 » A New Architecture for Automated Modelling |
140
click to vote
GLOBECOM
2006
IEEE
16 years 19 days ago
2006
IEEE
— Rate control is an automated defense to slow down a worm outbreak to buy time for conventional defenses to take effect. In this study, we apply the community of households mode...
168
click to vote
ISMIS
2005
Springer
16 years 2 days ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
196
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
Case-based Reasoning (CBR) is a mature technology for building knowledge-based systems that are capable to produce useful results even if no answer matches the query exactly. Often...
166
click to vote
FLOPS
2004
Springer
15 years 12 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
157
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...