1357 search results - page 77 / 272 » Compositional analysis for linear systems |
PAMI
1998
13 years 10 months ago
1998
—Analysis and interpretation of an image which was acquired by a nonideal imaging system is the key problem in many application areas. The observed image is usually corrupted by ...
IADIS
2009
13 years 8 months ago
2009
The paper describes a novel rule-based approach to classification of opinion statements on the level of individual sentences. In contrast to existing approaches, the proposed meth...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
The use of statically compiled search networks for ASR systems using huge vocabularies and complex language models often becomes challenging in terms of memory requirements. Dynam...
CSL
2007
Springer
14 years 4 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
JCS
2007
13 years 10 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...