Sciweavers

3381 search results - page 157 / 677
» Extending Dependencies with Conditions
Sort
View
CDC
2008
IEEE
182views Control Systems» more  CDC 2008»
16 years 28 days ago
Practical stability of time delay systems: LMI's approach
— In this paper we discuss the practical stability of a class of time delay systems with an unstable equilibrium. We obtain sufficient conditions based on Lyapunov-Krasovskii fu...
Raul Villafuerte, Sabine Mondie, Alexander S. Pozn...
DAGM
2003
Springer
15 years 11 months ago
Shape Preservation during Digitization: Tight Bounds Based on the Morphing Distance
We define strong r-similarity and the morphing distance to bound geometric distortions between shapes of equal topology. We then derive a necessary and sufficient condition for a ...
Peer Stelldinger, Ullrich Köthe
LICS
1996
IEEE
15 years 10 months ago
Completing Partial Combinatory Algebras With Unique Head-Normal Forms
In this note, we prove that having unique head-normal forms is a sufficient condition on partial combinatory algebras to be completable. As application,we show that the pca of str...
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
EUSFLAT
2007
126views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Uncertainty as a Modality over t-norm Based Logics
In this work we propose a general approach for representing uncertainty measures in the framework of t-norm based logics. This approach is extended also to classes of measures lik...
Enrico Marchioni
ACL
1992
15 years 7 months ago
Connection Relations and Quantifier Scope
A formalism will be presented in this paper which makes it possible to realise the idea of assigning only one scope-ambiguous representation to a sentence that is ambiguous with r...
Longin Jan Latecki