258 search results - page 44 / 52 » Connections between Relation Algebras and Cylindric Algebras |
IJCAI
1993
15 years 15 days ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
IROS
2008
IEEE
15 years 5 months ago
2008
IEEE
— A shell is a body enclosed between two closely spaced and curved surfaces. Classical theory of shells [38], [33], [16] assumes a parametrization along the lines of principal cu...
TPHOL
2000
IEEE
15 years 2 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
COMPGEOM
2005
ACM
15 years 1 months ago
2005
ACM
An open question in Exact Geometric Computation is whether there are transcendental computations that can be made “geometrically exact”. Perhaps the simplest such problem in c...