457 search results - page 10 / 92 » Boolean algebras arising from information systems |
EUROMICRO
1996
IEEE
15 years 1 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
74
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer
In this work, we derive an algebraic formulation for the scalar linear network coding problem as an alternative to the one presented by Koetter et al in [1]. Using an equivalence b...
RAS
2010
14 years 8 months ago
2010
An important drawback to the popular Belief, Desire, and Intentions (BDI) paradigm is that such systems include no element of learning from experience. We describe a novel BDI exe...
AIEDU
2005
14 years 9 months ago
2005
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
164
click to vote
PARA
2004
Springer
15 years 3 months ago
2004
Springer
We describe some extensions to Parallel Sparse BLAS (PSBLAS), a library of routines providing basic Linear Algebra operations needed to build iterative sparse linear system solvers...