585 search results - page 40 / 117 » Better Abstractions for Timed Automata |
152
Voted
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
155
Voted
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Though cooperative communication has been intensively examined for general wireless systems, such as mobile and ad-hoc networks, it has been almost unexplored in the ca...
103
Voted
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—This paper proposes a new differential super-quasiorthogonal space-time trellis codes (SQOSTTC) with singlesymbol maximum-likelihood (ML) decoding. Firstly, a new joint ...
142
Voted
IEAAIE
2005
Springer
15 years 9 months ago
2005
Springer
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...
141
Voted
AUSAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The algorithm selection problem aims to select the best algorithm for an input problem instance according to some characteristics of the instance. This paper presents a l...