نشرت في: March 2001
Many tasks require “reasoning”—i.e., deriving conclusions from a corpus of explicitly stored information—to solve their range of problems. An ideal r...
نشرت في: 1995
La technologie des réseaux de télécommunication alliée à celle du document électronique a, outre mer, profondément changé les méthodes de travail des...
We survey the current techniques to cope with the problem of string matching that allows errors. This is becoming a more and more relevant issue for...
An algorithm component is an implementation of an algorithm which is not intended to be a stand-alone module, but to perform a specific task within a...
نشرت في: June 2001
This article surveys the definition and application of an enhancement of structural operational semantics in the field of concurrent systems, and als...
