of states. We describe a general method that represents the state space symbolical/y instead of explicitly. The generality of our method comes from using a dialect of the Mu-Calculus as the primary specification language. We describe a model checking algorithm for Mu-Calculus formulas that uses Bryant’s

A symbolic approach for the combined solution of scheduling and allocation

In this article, the two competing paradigms of arti cial intelligence, connectionist and symbolic approaches, are described. It is pointed out that no single existing paradigm can fully address all the major AI problems.

Sensing the location of real world objects is becoming very important in the domain of invisible computing. This paper enumerates the basic goals of location sensing and discusses in detail the algorithmic and practical issues that arise in applying a symbolic approach to the whole problem.

. In this paper we propose the use of a symbolic decision procedure and its application for predicate abstraction. The advantage of the approach is that it reduces the number of calls to the decision procedure exponentially and also provides for reducing the re-computations inherent in the current approaches

analysis can be based solely on symbolic reasoning and evaluation of predicates on metric dimensions. This allows symbolic reasoning about kinematics without explicit numerical representations of object dimensions, and automatic generation of operators relating kinematic goals to shape modifications which

interval of T symbol periods, after which they change to new independent values which they maintain for another T symbol periods, and so on. Computing the link capacity, associated with channel coding over multiple fading intervals, requires an optimization over the joint density of T M complex transmitted

producing symbolic output MuPAD and Geometry Expressions. We will show what kind of geometry problems we can solve with these tools and what are the benefits of this approach.

Recognising a piece of music from a user whistling a small part of it is not an easy task: for instance users switch to higher or lower octaves and stretch or crop the notes. In this work we propose a symbolic technique to recognise monophonic music from whistling: we rst record the whistling

Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this note we outline the results of applying symbolic model checking techniques to detection of feature interactions in service