288 search results - page 17 / 58 » An algebraic generalization of Kripke structures |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Requirements Driven Agent Collaboration (RDAC) is a mechanism where the self-interested service agents actively and autonomously search for the required services submitted by the ...
AMC
2006
13 years 7 months ago
2006
This paper presents an algebraic approach to construct M-band orthonormal wavelet bases with perfect reconstruction. We first derive the system of constraint equations of M-band f...
CORR
1999
Springer
13 years 7 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
IGPL
2011
12 years 11 months ago
2011
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...