691 search results - page 29 / 139 » Equational Abstractions |
107
click to vote
EWC
2002
15 years 1 months ago
2002
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
138
click to vote
ECOOPW
2008
Springer
15 years 3 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
126
click to vote
ICCSA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We apply internal perturbation [3] to the matrix-type cryptosystems [Cn] and HM constructed in [9]. Using small instances of these variants, we investigate the existence ...
115
click to vote
ECCV
1992
Springer
15 years 6 months ago
1992
Springer
Abstract. This paper presents viewpoint-dependent constraints that relate image features such as t-junctions and inflections to the pose of curved 3D objects. These constraints can...
106
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...