60 search results - page 5 / 12 » A Fresh Look at Programming-in-the-Large |
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
We show that regarding finite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particula...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
CP
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accur...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
The concept of Statistical Resolution Limit (SRL), which is defined as the minimal separation to resolve two closely spaced signals, is an important tool to quantify performance ...
JDCTA
2008
13 years 7 months ago
2008
Urbanization and industrialization with minimal focus on environmental pollution has resulted in rapid degradation of natural environment. A fresh look at the pollution control st...