1536 search results - page 269 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— For MIMO broadcast systems the effects of shadowing on the channel capacity and the fairness of the system in sharing the resources amongst multiple users are important...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper, the dynamic model of a robot with antagonistic actuated joints is presented, and the problem of full linearization via static state feedback is analyzed. The use...
PCI
2005
Springer
14 years 1 months ago
2005
Springer
Security incident management is one of the critical areas that offers valuable information to security experts, but still lacks much development. Currently, several security incide...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Web cache replacement algorithms have received a lot of attention during the past years. Though none of the proposed algorithms deals efficiently with all the particularities of t...
LICS
2003
IEEE
14 years 26 days ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...