1.
Dataow Computation for Knowledge-Based Control of Autonomous Systems
File Format: Adobe PostScript - View as HTML vcarmax : Maximal possible velocity of the car. %. endpoint : Distance to a stop point. %. cdist. : Distance to a curve ...
2.
3.
On Temporal Path Conditions in Dependence Graphs
File Format: Adobe PostScript - View as HTML to as few cases as possible, given two boolean path condi-. tions, say PC .... for s must obviously hold in v, too. Thus, there is an U .... the first operand of the U operator has been weakened. Lemma 1.
4.
Paper Description: MIP-9401
@incollection{MIP-9401,: author="U. Fraus",: title="Inductive Theorem Proving for Algebraic Specifications TIP System User's Manual", ...
5.
Christian Bachmaier
Jan 5, 2009 ... Christian Bachmaier at University of Passau. ... picture of Christian Bachmaier Christian Bachmaier. Address:. Universität Passau ...
6.
redlog User Manual - Quantifier Elimination and Variants
Quantifier elimination computes quantifier-free equivalents for given first-order formulas. For OFSF and DVFSF we use a technique based on elimination set ...
7.
A Radial Adaption of the Sugiyama Framework for Hierarchical Graph ...
File Format: Adobe PostScript - View as HTML In radial drawings of hierarchical graphs the vertices are ... Note that radial level drawings are different from circular drawings [3, 13, 15] ...
8.
An Algebraic Approach to Osetting and Blending of Solids
File Format: Adobe PostScript - View as HTML tered in solid modelers plus osetting and constant radius blending are reduced to ..... Combining expanding and shrinking for blending solids, ...
9.
IWQoS 2005
(IWQoS 2005) June 21-23, 2005. University of Passau, Germany .... At least one of the authors of each accepted paper must present the paper at IWQoS 2005. ...
10.
IWQoS 2005
Thirteenth International Workshop on Quality of Service (IWQoS 2005) June 21-23, 2005. University of Passau, Germany. University of Passau, Germany ...
