: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
This paper proposes a novel user intention simulation method which is a data-driven approach but able to integrate diverse user discourse knowledge together to simulate various ty...
Sangkeun Jung, Cheongjae Lee, Kyungduk Kim, Gary G...
"Software as a service" approach has become a reality since efforts of both industry and research focused on service integration on the web. It would be possible to see ...
This paper focuses on the integration of acoustic and visual information for people tracking. The system presented relies on a probabilistic framework within which information from...
Roberto Brunelli, Alessio Brutti, Paul Chippendale...
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...