1008 search results - page 46 / 202 » Canonicity! |
94
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
A semi-algebraic algorithm based on Joint EigenValue Decomposition (JEVD) is proposed to compute the CP decomposition of multi-way arrays. The iterative part of the method is thus...
82
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
111
click to vote
STACS
2009
Springer
15 years 9 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
93
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
—We motivate the problem of designing a subset of the edge weights in a graph, to shape the spectrum of an associated linear time-invariant dynamics. We address a canonical desig...
97
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— We give geometrical conditions, which guarantee the existence of a diffeomorphism in order to transform a nonlinear system without inputs into a canonical normal form depending...