2093 search results - page 158 / 419 » Developing Federation Object Models Using Ontologies |
ACMDIS
1997
ACM
15 years 5 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...
150
click to vote
NFM
2011
14 years 8 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
16 years 2 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...
111
click to vote
DLOG
2009
14 years 11 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...
130
click to vote
ISVC
2009
Springer
15 years 8 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...