325 search results - page 52 / 65 » The Algebraic Framework for Object-Oriented Systems |
AML
2010
13 years 7 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, , ) such that L and R are termgraphs representing...
WADT
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
CDC
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper presents a robust stop-and-go control law, especially well adapted to car following scenarios in urban environments. Since many vehicle/road interaction factors (road sl...
AMC
2007
13 years 7 months ago
2007
The surface estimation problem is used as a model to demonstrate a framework for solving early vision problems by high-order regularization with natural boundary conditions. Becaus...