21430 search results - page 4138 / 4286 » Abstract Effective Models |
127
Voted
RTSS
1998
IEEE
15 years 7 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
134
click to vote
DAC
1998
ACM
15 years 7 months ago
1998
ACM
Networked embedded systems are expected to support adaptive streaming audio/video applications with soft real-time constraints. These systems can be designed in a cost efficient ...
134
Voted
VLDB
1998
ACM
15 years 7 months ago
1998
ACM
Classification is an important problem in data mining. Given a database of records, each with a class label, a classifier generates a concise and meaningful description for each c...
125
Voted
VLDB
1998
ACM
15 years 7 months ago
1998
ACM
Mining for association rules in market basket data has proved a fruitful areaof research. Measures such as conditional probability (confidence) and correlation have been used to i...
141
Voted
VISUALIZATION
1997
IEEE
15 years 7 months ago
1997
IEEE
Volume rendering is a valuable and important technique for scientific visualization. One well known application area is the reconstruction and visualization of output from medica...