479 search results - page 17 / 96 » An Algebra of Pareto Points |
EUSFLAT
2007
15 years 1 months ago
2007
In this paper, aggregation is treated as a logical and/or pseudo-logical operation what is important from many points of view such as adequacy and interpretations.
78
Voted
ECCV
2000
Springer
16 years 1 months ago
2000
Springer
The paper has two main contributions: The rst is a set of methods for computing structure and motion for m 3 views of 6 points. It is shown that a geometric image error can be mini...
110
click to vote
STACS
2007
Springer
15 years 5 months ago
2007
Springer
Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program analysis. The sequence 0, f(0), f2 (0), . . . conv...
141
click to vote
FOSAD
2009
Springer
15 years 6 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper investigates the existence conditions of cusp points in the design parameter space of the RPR-2PRR parallel manipulators. Cusp points make possible non-singular assembly...