281 search results - page 24 / 57 » Solving Parametric Algebraic Systems |
116
click to vote
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
86
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
88
Voted
TAPSOFT
1991
Springer
15 years 4 months ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
90
Voted
ISCAPDCS
2003
15 years 1 months ago
2003
We consider efficient strategies for the parallel and distributed computation of large sets of multivariate integrals. These arise in many applications such as computational chem...
119
Voted
DAGSTUHL
1997
15 years 1 months ago
1997
This survey presents several techniques for solving variants of the following scattered data interpolation problem: given a nite set of N points in R3, nd a surface that interpola...