Sciweavers

893 search results - page 130 / 179
» Analysis of new variable selection methods for discriminant ...
Sort
View
ICTAC
2005
Springer
14 years 2 months ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
IJNS
2010
106views more  IJNS 2010»
13 years 7 months ago
Cascade Process Modeling with Mechanism-Based Hierarchical Neural Networks
Abstract: Cascade process, such as wastewater treatment plant, includes many nonlinear subsystems and many variables. When the number of sub-systems is big, the input-output relati...
Qiumei Cong, Wen Yu, Tianyou Chai
RC
2007
60views more  RC 2007»
13 years 8 months ago
Linear Systems with Large Uncertainties, with Applications to Truss Structures
Linear systems whose coefficients have large uncertainties arise routinely in finite element calculations for structures with uncertain geometry, material properties, or loads. Ho...
Arnold Neumaier, Andrzej Pownuk
ALMOB
2006
135views more  ALMOB 2006»
13 years 8 months ago
P-value based visualization of codon usage data
Two important and not yet solved problems in bacterial genome research are the identification of horizontally transferred genes and the prediction of gene expression levels. Both ...
Peter Meinicke, Thomas Brodag, Wolfgang Florian Fr...
SAS
1995
Springer
127views Formal Methods» more  SAS 1995»
14 years 10 days ago
Complementation in Abstract Interpretation
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...
Agostino Cortesi, Gilberto Filé, Roberto Gi...