6978 search results - page 392 / 1396 » On Proofs in System P |
162
click to vote
SCL
2008
15 years 6 months ago
2008
Nuclearity of the Hankel operator is a known sufficient condition for convergence of Lyapunov-balanced truncations. We show how a previous result on nuclearity of Hankel operators...
134
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
In this paper we develop boundary value methods for detecting Sacker-Sell spectra in discrete time dynamical systems. The algorithms are advancements of earlier methods for comput...
171
click to vote
ICIW
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Peer-to-Peer (P2P) systems are widely used for sharing digital items without structured metadata and in absence of any kind of digital rights management applied to the d...
226
click to vote
CCGRID
2003
IEEE
16 years 5 days ago
2003
IEEE
The widespread use of broadband networks and the evolution of Peer-to-Peer systems changed dramatically the way Internet is used today. P2P file sharing networks are one of the mo...
190
click to vote
CMMR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper describes a method for labelling structural parts of a musical piece. Existing methods for the analysis of piece structure often name the parts with musically ...