1209 search results - page 50 / 242 » Universal Algebra and Computer Science |
CSR
2008
Springer
15 years 1 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
14 years 12 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...
106
click to vote
IFIPTCS
2010
14 years 9 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
15 years 6 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...
102
click to vote
EGC
2005
Springer
15 years 5 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 ...