2366 search results - page 370 / 474 » Pfaffian Hybrid Systems |
188
click to vote
JAR
2010
15 years 4 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
169
click to vote
TIFS
2010
15 years 4 months ago
2010
This paper presents a new evolutionary approach for adaptive combination of multiple biometrics to ensure the optimal performance for the desired level of security. The adaptive c...
170
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— In this paper, we consider the co-channel interference mitigation capability of fixed relay aided wireless systems, where the relays are linked to the base station usi...
140
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
An attractive hybrid method of mitigating the effects of error propagation that may be imposed by the relay node (RN) on the destination node (DN) is proposed. We selected the most...
194
click to vote
ISAMI
2010
15 years 4 months ago
2010
Many adaptative context-aware middleware exist and most of them rely on so-called vertical architectures that offer a functional decomposition for contextawareness. This architectu...