2008 search results - page 19 / 402 » Computing with Equations |
140
click to vote
ICCV
2007
IEEE
16 years 7 months ago
2007
IEEE
The inverse gradient problem, finding a scalar field f with a gradient near a given vector field g on some bounded and connected domain Rn , can be solved by means of a Poisson ...
116
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
213
click to vote
UMC
2000
15 years 8 months ago
2000
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...
77
Voted
COMPUTER
1999
15 years 4 months ago
1999
146
Voted
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
