1209 search results - page 50 / 242 » Universal Algebra and Computer Science |
CSR
2008
Springer
13 years 10 months ago
2008
Springer
We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only...
CAD
2008
Springer
13 years 8 months ago
2008
Springer
We present several algorithms for self-intersection detection, and possible elimination, in freeform planar curves and surfaces. Both local and global self-intersections are elimi...
IFIPTCS
2010
13 years 6 months ago
2010
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new cl...
ICDS
2009
IEEE
14 years 3 months ago
2009
IEEE
The University of the Digital Society is based on interactions that facilitate learning in a new pragmatic context. Catalysts involved in the learning process replace the traditio...
EGC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Grid software often unfortunately requires significant changes in existing infrastructure, both in terms of policy and mechanism, instead of accommodating and leveraging ...