579 search results - page 14 / 116 » Intersecting Classes and Prototypes |
IANDC
2006
13 years 7 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
SIGMOD
2000
ACM
13 years 7 months ago
2000
ACM
In this paper we describe XXL (eXtensible and fleXible Library), a toolkit for rapid prototyping query processing algorithms. XXL is a flexible, high-level, platform independent J...
ENTCS
2002
13 years 7 months ago
2002
We illustrate the use of intersection types as a semantic tool for proving easiness result on -terms. We single out the notion of simple easiness for -terms as a useful semantic p...
DEDS
2002
13 years 7 months ago
2002
Abstract. We consider a generalized form of the conventional decentralized control architecture for discreteevent systems where the control actions of a set of supervisors can be `...
ISCAS
1999
IEEE
13 years 12 months ago
1999
IEEE
A class of complementary IIR filters is introduced. One of these filters can be realized as a tapped cascaded interconnection of identical allpass subfilters. The complementary fi...