11565 search results - page 356 / 2313 » Computing Minimal Mappings |
182
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
e introducing the types and constants of the logic, i.e. its abstract syntax, and axioms describing the inference rules. As a tiny example, consider the following definition of min...
180
click to vote
JMIV
2006
15 years 6 months ago
2006
This paper deals with the total variation minimization problem in image restoration for convex data fidelityfunctionals.Weproposeanewandfastalgorithmwhichcomputesanexactsolutionint...
177
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The paper presents realization theory of discrete-time linear switched systems (abbreviated by DTLSSs). We present necessary and sufficient conditions for an input-output map to ...
194
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents a fast algorithm for restoring video sequences. The proposed algorithm, as opposed to existing methods, does not consider video restoration as a sequence of im...
199
click to vote
APVIS
2011
14 years 6 months ago
2011
Robust analysis of vector fields has been established as an important tool for deriving insights from the complex systems these fields model. Many analysis techniques rely on co...