Sciweavers

1537 search results - page 62 / 308
» On sets not belonging to algebras
Sort
View
ARTS
1999
Springer
14 years 10 hour ago
Process Algebra with Probabilistic Choice
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
Suzana Andova
ACTA
2010
81views more  ACTA 2010»
13 years 7 months ago
Lifting non-finite axiomatizability results to extensions of process algebras
Abstract This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioral semantics over process algebras from old ones...
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
IJUFKS
2006
37views more  IJUFKS 2006»
13 years 7 months ago
Automorphisms of the Algebra of Fuzzy Truth Values
One special subalgebra of the algebra of fuzzy truth values is the set of those elements that take only 0 and 1 as values. This subalgebra is in one-to-one correspondence with the...
Carol L. Walker, Elbert A. Walker
AMAST
2010
Springer
13 years 2 months ago
Learning in a Changing World, an Algebraic Modal Logical Approach
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
Prakash Panangaden, Mehrnoosh Sadrzadeh
ICDE
1998
IEEE
153views Database» more  ICDE 1998»
14 years 9 months ago
Flattening an Object Algebra to Provide Performance
Algebraic transformation and optimization techniques have been the method of choice in relational query execution, but applying them in OODBMS is difficult due to the complexity o...
Peter A. Boncz, Annita N. Wilschut, Martin L. Kers...