3443 search results - page 122 / 689 » More Algebras for Determiners |
ENTCS
2007
13 years 9 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
EWC
2007
13 years 9 months ago
2007
In numerous instances, accurate algorithms for approximating the original geometry is required. One typical example is a circle involute curve which represents the underlying geom...
IMAMCI
2007
13 years 9 months ago
2007
In this paper, we present a geometric method for describing the effects of the delay induced uncertainty on the stability of a standard Smith Predictor control scheme. The method...
TCS
2008
13 years 9 months ago
2008
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...
PR
2000
13 years 9 months ago
2000
Based on the observation that rough sets and mathematical morphology are both using dual operators sharing similar properties, we investigate more closely the links existing betwe...