Sciweavers

797 search results - page 90 / 160
» Spatial Relations Analysis by Using Fuzzy Operators
Sort
View
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
15 years 1 months ago
Input-output framework for robust stability of time-varying delay systems
The paper is devoted to the stability analysis of linear time varying delay. We first model the time varying delay system as an interconnected system between a known linear trans...
Yassine Ariba, Frédéric Gouaisbaut
FMICS
2008
Springer
14 years 11 months ago
Formal Verification of the Implementability of Timing Requirements
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...
Xiayong Hu, Mark Lawford, Alan Wassyng
BMCBI
2006
119views more  BMCBI 2006»
14 years 9 months ago
LS-NMF: A modified non-negative matrix factorization algorithm utilizing uncertainty estimates
Background: Non-negative matrix factorisation (NMF), a machine learning algorithm, has been applied to the analysis of microarray data. A key feature of NMF is the ability to iden...
Guoli Wang, Andrew V. Kossenkov, Michael F. Ochs
ENTCS
2010
208views more  ENTCS 2010»
14 years 7 months ago
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
Paul Feautrier, Laure Gonnord
MCS
2011
Springer
14 years 4 months ago
The geometry and dynamics of binary trees
: The modeling of a fully populated 3D tree able to regulate dynamically remains a relatively unexplored field. A non-dimensional representation of “autoregulation” coupled wit...
T. David, Thomas van Kempen, Huaxiong Huang, Phill...