2008 search results - page 32 / 402 » Computing with Equations |
ENTCS
2002
13 years 8 months ago
2002
If S = 0 is a system of n equations and unknowns over C and S() = 0 to what extent can we compute with the point ? In particular, can we decide whether or not a polynomial express...
ICCSA
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We introduce a pure-streamfunction formulation for the incompressible Navier-Stokes equations. The idea is to replace the vorticity in the vorticity- streamfunction evolu...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Pattern recognition of objects on affinely distorted images based on moments is important task researched for many years. Affine moment invariants are significant tool for it. The...
FSEN
2009
Springer
14 years 3 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
JC
2000
13 years 8 months ago
2000
Deciding efficiently the emptiness of a real algebraic set defined by a single equation is a fundamental problem of computational real algebraic geometry. We propose an algorithm ...