4209 search results - page 689 / 842 » Abstract Dialectical Frameworks |
136
Voted
HIPC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Simple and unified non-operational specifications of the three memory consistency models Total Store Ordering (TSO), Partial Store Ordering (PSO), and Relaxed Memory Orde...
165
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Switching linear dynamic systems (SLDS) attempt to describe a complex nonlinear dynamic system with a succession of linear models indexed by a switching variable. Unfortu...
150
Voted
PKDD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. A new constrained model is discussed as a way of incorporating efficiently a priori expert knowledge into a clustering problem of a given individual set. The first innova...
133
Voted
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
Navigation has always been an interdisciplinary topic of research, because mobile agents of different types are inevitably faced with similar navigational problems. Therefore, huma...
118
Voted
DAC
1995
ACM
15 years 7 months ago
1995
ACM
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...