Sciweavers

281 search results - page 35 / 57
» Solving Parametric Algebraic Systems
Sort
View
ASIACRYPT
2005
Springer
15 years 10 months ago
An Analysis of the XSL Algorithm
The XSL “algorithm” is a method for solving systems of multivariate polynomial equations based on the linearization method. It was proposed in 2002 as a dedicated method for ex...
Carlos Cid, Gaëtan Leurent
AAAI
1996
15 years 5 months ago
Building Steady-State Simulators via Hierarchical Feedback Decomposition
In recent years, compositional modeling and selfexplanatory simulation techniques have simplified the process of building dynamic simulators of physical systems. Building steady-s...
Nicolas F. Rouquette
ISSAC
2007
Springer
111views Mathematics» more  ISSAC 2007»
15 years 10 months ago
Numerical optimization in hybrid symbolic-numeric computation
Approximate symbolic computation problems can be formulated as constrained or unconstrained optimization problems, for example: GCD [3, 8, 12, 13, 23], factorization [5, 10], and ...
Lihong Zhi
ISSAC
2005
Springer
110views Mathematics» more  ISSAC 2005»
15 years 10 months ago
Multivariate power series multiplication
We study the multiplication of multivariate power series. We show that over large enough fields, the bilinear complexity of the product modulo a monomial ideal M is bounded by th...
Éric Schost
ECCV
1992
Springer
15 years 8 months ago
Constraints for Recognizing and Locating Curved 3D Objects from Monocular Image Features
Abstract. This paper presents viewpoint-dependent constraints that relate image features such as t-junctions and inflections to the pose of curved 3D objects. These constraints can...
David J. Kriegman, B. Vijayakumar, Jean Ponce