97 search results - page 13 / 20 » er 2008 |
ICRA
2008
IEEE
15 years 3 months ago
2008
IEEE
— In order for a mobile robot to accurately interpret its sensations and predict the effects of its actions, it must have accurate models of its sensors and actuators. These mode...
ETFA
2008
IEEE
15 years 3 months ago
2008
IEEE
Service-oriented Architectures become more and more important in connecting devices with each other. The main advantages of Service-oriented architectures er abstraction level and...
ISCAS
2008
IEEE
15 years 3 months ago
2008
IEEE
— Multiple Description Coding (MDC) can be used as an Error Resilience (ER) technique for video coding. In case of transmission errors, Error Concealment (EC) can be combined wit...
DLOG
2008
14 years 11 months ago
2008
Abstract. From the side of modelers and early-adopter industry, interest in reasoning over conceptual models and other online usage of conceptual models is growing. To obtain a mor...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...