1730 search results - page 125 / 346 » Algebra and Computation |
113
click to vote
CP
2000
Springer
15 years 4 months ago
2000
Springer
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...
88
Voted
SIGGRAPH
1987
ACM
15 years 4 months ago
1987
ACM
In the course of developing a system for fitting smooth curves to camera input we have developed several direct (i.e. noniterative) methods for fitting a shape (line, circle, conic...
CONCUR
1998
Springer
15 years 5 months ago
1998
Springer
PA is the process algebra allowing non-determinism, sequential and parallel compositions, and recursion. We suggest viewing PA-processes as trees, and using treeautomata technique...
105
Voted
ICTAC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
110
Voted
ISSAC
2001
Springer
15 years 5 months ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...