Search Sciweavers | Sciweavers

2008 search results - page 19 / 402

» Computing with Equations

click to vote

ICCV
2007
IEEE

137views Computer Vision» more ICCV 2007»

Efficient Computation of the Inverse Gradient on Irregular Domains

14 years 11 months ago

Download www.imt.liu.se

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 ...

Gunnar Farnebäck, Hans Knutsson, Joakim Rydel...

claim paper

Read More »

click to vote

CONCUR
2007
Springer

102views Distributed And Parallel Com...» more CONCUR 2007»

Is Observational Congruence Axiomatisable in Equational Horn Logic?

14 years 3 months ago

Download www-users.cs.york.ac.uk

It is well known that bisimulation on µ-expressions cannot be ﬁnitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...

Michael Mendler, Gerald Lüttgen

claim paper

Read More »

click to vote

UMC
2000

208views Applied Computing» more UMC 2000»

Upper and Lower Bounds on Continuous-Time Computation

14 years 16 days ago

Download www.santafe.edu

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...

Manuel Lameiras Campagnolo, Cristopher Moore

claim paper

Read More »

click to vote

COMPUTER
1999

50views more COMPUTER 1999»

Solving Einstein's Equations on Supercomputers

13 years 8 months ago