5829 search results - page 425 / 1166 » The Practice of Cluster Analysis |
214
click to vote
CAV
2004
Springer
16 years 1 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
199
click to vote
EVOW
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. The quadratic assignment problem arises in a variety of practical settings. It is known to be among the hardest combinatorial problems for exact algorithms. Therefore, a ...
204
click to vote
FORMATS
2003
Springer
16 years 26 days ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
264
click to vote
DANCE
2002
IEEE
16 years 19 days ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
186
click to vote
ICC
2000
IEEE
16 years 2 days ago
2000
IEEE
Abstract: In this paper, a multilevel-quantized soft- limiting (SL-MQ) detector for frequency hopping spread spectrum multiple access (FH-SSMA) system is proposed and analyzed. Num...