579 search results - page 14 / 116 » Intersecting Classes and Prototypes |
IANDC
2006
14 years 11 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...
109
click to vote
SIGMOD
2000
ACM
14 years 11 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
14 years 11 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
14 years 11 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
15 years 4 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...