Sciweavers

2354 search results - page 27 / 471
» A Common-Sense Theory of Time
Sort
View
ISNN
2005
Springer
14 years 1 months ago
Exponential Stability Analysis of Neural Networks with Multiple Time Delays
This paper considers the robust stability of neural networks with multiple delays. Based on Lyapunov stability theory and linear matrix inequality technique, some new delay indepe...
Huaguang Zhang, Zhanshan Wang, Derong Liu
VLSID
1994
IEEE
124views VLSI» more  VLSID 1994»
14 years 2 days ago
ILP-Based Scheduling with Time and Resource Constraints in High Level Synthesis
In this paper, we present a formal analysis of the constraints of the scheduling problem, and evaluate the structure of the scheduling polytope described by those constraints. Pol...
Samit Chaudhuri, Robert A. Walker
BIRTHDAY
2010
Springer
13 years 9 months ago
Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
Vladik Kreinovich
AUTOMATICA
2005
169views more  AUTOMATICA 2005»
13 years 7 months ago
Analysis of input-to-state stability for discrete time nonlinear systems via dynamic programming
This paper presents novel analysis results for input-to-state stability (ISS) that utilise dynamic programming techniques to characterise minimal ISS gains and transient bounds. Th...
Shoudong Huang, Matthew R. James, Dragan Nesic, Pe...
ADC
2003
Springer
128views Database» more  ADC 2003»
14 years 1 months ago
An algorithm for the induction of defeasible logic theories from databases
Defeasible logic is a non-monotonic logic with applications in rule-based domains such as law. To ease the development and improve the accuracy of expert systems based on defeasib...
Benjamin Johnston, Guido Governatori