2377 search results - page 372 / 476 » Hybrid Systems in TLA |
186
click to vote
JOLLI
2002
15 years 6 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
185
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 ...
167
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...
169
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...
139
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...