Search Sciweavers | Sciweavers

1537 search results - page 3 / 308

» On sets not belonging to algebras

click to vote

MPC
2004
Springer

115views Mathematics» more MPC 2004»

A Free Construction of Kleene Algebras with Tests

15 years 5 months ago

Download unit.aist.go.jp

In this paper we deﬁne Kleene algebra with tests in a slightly more general way than Kozen’s deﬁnition. Then we give an explicit construction of the free Kleene algebra with...

Hitoshi Furusawa

claim paper

Read More »

click to vote

DAM
2008

125views more DAM 2008»

Heyting algebras with Boolean operators for rough sets and information retrieval applications

14 years 11 months ago

Download daniel.iut.univ-metz.fr

This paper presents an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of Rough Set concepts in particular...

Eric SanJuan

claim paper

Read More »

click to vote

FDL
2005
IEEE

249views Natural Language Processing» more FDL 2005»

Meta Modelling of Embedded Systems using Active Databases

15 years 5 months ago

Download lsmwww.epfl.ch

The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...

Dieter Monjau, Mathias Sporer

claim paper

Read More »

click to vote

EJC
2002

119views Information Technology» more EJC 2002»

Bases in Orlik-Solomon Type Algebras

14 years 11 months ago

Download www.math.ist.utl.pt

The Orlik-Solomon algebra of a matroid M is the quotient of the exterior algebra on the points by the ideal (M) generated by the boundaries of the circuits of the matroid. There i...

David Forge

claim paper

Read More »

click to vote

JSYML
1998

51views more JSYML 1998»

The Algebraic Sum of Sets of Real Numbers with Strong Measure Zero Sets

14 years 11 months ago