137
click to vote
WCNC
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—The development of modern communication technologies fosters human networks (HUNETs)—an information dissemination platform comprised of human-carried wirelessenabled d...
110
click to vote
WCNC
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Hierarchical macro/femto-cell networks are considered as a promising technology for the improvement of indoor coverage and network capacity. In these emerging networks, ...
119
click to vote
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
: This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety veri...
130
click to vote
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
149
click to vote
IJCNN
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents an unsupervised segmentation method for feature sequences based on competitivelearning hidden Markov models. Models associated with the nodes of the Self-Organ...