16666 search results - page 3176 / 3334 » Descriptive and Computational Complexity |
171
click to vote
WCNC
2010
IEEE
15 years 2 months ago
2010
IEEE
: The two-phase MIMO NC (network coding) scheme can be used to boost the throughput in a two-way relay channel in which nodes are equipped with multiple antennas. The obvious strat...
185
Voted
DLT
2009
15 years 2 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
164
Voted
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: Stroke is the second most common cause of death and major cause of disability worldwide. Approx. 20% of cerebral strokes are caused by hemorrhages due to rupture of cereb...
152
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Frequently, Security Monitoring is equated with network intrusion detection. However, Security Monitoring has a much broader scope. It also comprises detection of insider attacks...
146
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Product customization has become a commonplace topic in the last few years. Cars can be equipped with numerous gadgets, cell phones come in different colours and so on. In all th...