1695 search results - page 139 / 339 » Linear, Polynomial or Exponential |
112
click to vote
ASIACRYPT
2005
Springer
15 years 10 months ago
2005
Springer
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...
130
click to vote
VISUALIZATION
1997
IEEE
15 years 8 months ago
1997
IEEE
We present an algorithm for the visualization of vector field topology based on Clifford algebra. It is the first method allowing the detection of higher order singularities. Th...
118
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
In a previous work we introduced Dual Light Affine Logic (DLAL) ([BT04]) as a variant of Light Linear Logic suitable for guaranteeing complexity properties on lambda-calculus terms...
138
Voted
CGF
2010
15 years 4 months ago
2010
We propose a new family of barycentric coordinates that have closed-forms for arbitrary 2D polygons. These coordinates are easy to compute and have linear precision even for open ...
133
Voted
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...