4520 search results - page 723 / 904 » Algebraic Techniques for Timed Systems |
151
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— The heat exchange efficiency of electrically conducting fluids can drop dramatically when they interact with externally imposed magnetic fields. The movement of such...
194
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
172
click to vote
RTSS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we study the problem of scheduling task sets with (m,k) constraints. In our approach, jobs of each task are partitioned into two sets: mandatory and optional. Manda...
174
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
Due to the increasingly di culty of discovering patterns in real-world databases using only conventional OLAP tools, an automated process such as data mining is currently essentia...
180
click to vote
KI
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...