Sciweavers

1580 search results - page 279 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 6 months ago
Some Aspects of Testing Process for Transport Streams in Digital Video Broadcasting
: This paper presents some aspects related to the DVB (Digital Video Broadcasting) investigation. Thebasicaspectsof DVB are presented, with an emphasis on DVB-T version of standard...
Radu Arsinte, Ciprian Ilioaei
AUTOMATICA
2006
125views more  AUTOMATICA 2006»
15 years 6 months ago
Optimization over state feedback policies for robust control with constraints
This paper is concerned with the optimal control of linear discrete-time systems, which are subject to unknown but bounded state disturbances and mixed constraints on the state an...
Paul J. Goulart, Eric C. Kerrigan, Jan M. Maciejow...
FAC
2006
122views more  FAC 2006»
15 years 6 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
FGCS
2006
111views more  FGCS 2006»
15 years 6 months ago
Collaborative data visualization for Earth Sciences with the OptIPuter
Collaborative visualization of large-scale datasets across geographically distributed sites is becoming increasingly important for Earth Sciences. Not only does it enhance our und...
Nut Taesombut, Xinran (Ryan) Wu, Andrew A. Chien, ...
TCBB
2008
95views more  TCBB 2008»
15 years 6 months ago
Solving the Problem of Trans-Genomic Query with Alignment Tables
Abstract-- The trans-genomic query (TGQ) problem -- enabling the free query of biological information, even across genomes -- is a central challenge facing bioinformatics. Solution...
Douglas Stott Parker Jr., Ruey-Lung Hsiao, Yi Xing...