2093 search results - page 158 / 419 » Developing Federation Object Models Using Ontologies |
ACMDIS
1997
ACM
14 years 1 months ago
1997
ACM
A multidisciplinary team at Philips Sound and Vision's TV Lab developed an E-mail-on-TV functionality. Their objective is to offer the benefits of E-mail to people in their l...
NFM
2011
13 years 4 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
The Web Services world consists of loosely-coupled distributed systems which adapt to ad-hoc changes by the use of service descriptions that enable opportunistic service discovery...
DLOG
2009
13 years 7 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...
ISVC
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In this paper we propose a new approach for tracking multiple objects in image sequences. The proposed approach differs from existing ones in important aspects of the re...