1996 search results - page 60 / 400 » A decision procedure for linear |
SCL
2008
14 years 11 months ago
2008
This paper establishes a straightforward interconnection between the Kronecker canonical form and the special coordinate basis of linear systems. Such an interconnection yields an...
JELIA
1998
Springer
15 years 4 months ago
1998
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic with exponentials. In the process we elaborate a methodology for proving mat...
SIGGRAPH
2010
ACM
15 years 2 months ago
2010
ACM
This paper describes the research of parametric and procedural modeling techniques associated with digital fabrication and form-finding within architectural design. The outcome of...
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
MA
2010
Springer
14 years 10 months ago
2010
Springer
The paper reconsiders the autoregressive aided periodogram bootstrap (AAPB) which has been suggested in Kreiß and Paparoditis (2003). Their idea was to combine a time domain param...