Epistemic logic and the process of verification used in ambient intelligence home enviroment


Počet prehratí: 413x
Embed:

Autor: Róbert Bučko

Presentation named Epistemic logic and the process of verification used in ambient intelligence home enviroment was presented on AAL Services in Middle and East Europe Conference in Podbanske (14th April 2011)

Sorry, you need to install flash to see this content.

Pridané: 20.04.11
Kategórie: MonAMI   
Tagy: monami    ambient intelligence    epistemic logic