3591 search results - page 318 / 719 » Typing linear constraints |
238
Voted
TOG
2012
13 years 10 months ago
2012
We present a novel representation of maps between pairs of shapes that allows for efficient inference and manipulation. Key to our approach is a generalization of the notion of m...
214
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
123
click to vote
ISCAS
2005
IEEE
16 years 1 months ago
2005
IEEE
- This paper compares two types of class E power amplifier and studies their applicability in EER (Envelope Elimination and Restoration) transmitter. In EER applications one of the...
155
click to vote
ASIACRYPT
2005
Springer
16 years 1 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...
173
Voted
ISSAC
2005
Springer
16 years 1 months ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...