10916 search results - page 274 / 2184 » On Constructive Connectives and Systems |
170
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The sparse error correction is intimately related to Compressive Sensing. Exploiting this connection, the paper proposes an error correction scheme pivoted on partial Fourier matr...
157
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Interconnection of several hybrid input-to-state stable (ISS) systems is considered in this paper. We ask under what condition is such an interconnection stable and how an ISS-...
176
click to vote
IJIT
2004
15 years 8 months ago
2004
This paper describes a system, in which various methods of text summarizing can be adapted to Polish. A structure of the system is presented. A modular construction of the system a...
168
click to vote
ICDAR
2003
IEEE
16 years 1 days ago
2003
IEEE
In this article, we present a system for the recognition of on-line handwritten mathematical formulas which is used in the electronic chalkboard (E-chalk), a multimedia system for...
159
click to vote
CALCO
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the fin...