1075 search results - page 20 / 215 » On Singular Interval Systems |
TABLEAUX
2007
Springer
14 years 3 months ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
HYBRID
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We use discrete quadratic Lyapunov functions to design controllers for a class of systems where time intervals between state measurements are longer than time intervals b...
DFG
2007
Springer
14 years 1 months ago
2007
Springer
: Interval arithmetic was introduced by Ramon Moore [Moo66] in the 1960s as an approach to bound rounding errors in mathematical computation. The theory of interval analysis emerge...
SMC
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper presents a new method for dealing with fuzzy group decision-making problems based on interval linguistic labels. We propose the interval linguistic labels ordered weight...
VLDB
2005
ACM
14 years 3 months ago
2005
ACM
With the increasing occurrence of temporal and spatial data in present-day database applications, the interval data type is adopted by more and more database systems. For an effic...