2008 search results - page 158 / 402 » Computing with Equations |
104
Voted
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— The paper considers the problem of setting the dimensions of a system of constrained parallel robots to ensure that together they can position an end-effector in a specified s...
140
click to vote
SCALESPACE
2005
Springer
15 years 8 months ago
2005
Springer
We investigate the use of fractional powers of the Laplacian for signal and image simplification. We focus both on their corresponding variational techniques and parabolic pseudod...
140
click to vote
AGP
1999
IEEE
15 years 6 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
108
click to vote
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
100
Voted
APN
1993
Springer
15 years 6 months ago
1993
Springer
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...