1287 search results - page 37 / 258 » Reduction of Timed Hybrid Systems |
SAINT
2003
IEEE
15 years 5 months ago
2003
IEEE
Before Feature Reduction System (FRS) was developed, software engineers were required to use multiple independent web-based information-reporting systems when conducting multiple ...
KAIS
2000
14 years 11 months ago
2000
When data sets are analyzed, statistical pattern recognition is often used to find the information hidden in the data. Another approach to information discovery is data mining. Dat...
100
click to vote
AIPS
2003
15 years 1 months ago
2003
Symmetries are inherent in systems that consist of several interchangeable objects or components. When reasoning about such systems, big computational savings can be obtained if t...
150
click to vote
TIM
2010
14 years 6 months ago
2010
In this paper, a novel low-power design technique is proposed to minimize the standby leakage power in nanoscale CMOS very large scale integration (VLSI) systems by generating the ...
110
click to vote
TCS
2002
14 years 11 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...