Sciweavers

2001 search results - page 304 / 401
» Semantic Activity Recognition
Sort
View
MIR
2006
ACM
151views Multimedia» more  MIR 2006»
15 years 7 months ago
Evaluation campaigns and TRECVid
The TREC Video Retrieval Evaluation (TRECVid) is an international benchmarking activity to encourage research in video information retrieval by providing a large test collection, ...
Alan F. Smeaton, Paul Over, Wessel Kraaij
CW
2005
IEEE
15 years 7 months ago
Data Integration for Virtual Enterprise in Cyberworlds
Virtual Enterprise enables companies to collaborate through sharing of resources, and therefore allows them to enjoy the benefits of virtual integration. The essence of Virtual En...
Cheng Leong Ang, Robert Kheng Leng Gay, Olga Souri...
WORDS
2005
IEEE
15 years 7 months ago
A Role-Based Access Control Policy Verification Framework for Real-Time Systems
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
Basit Shafiq, Ammar Masood, James Joshi, Arif Ghaf...
ER
2005
Springer
186views Database» more  ER 2005»
15 years 7 months ago
Blueprints and Measures for ETL Workflows
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
Panos Vassiliadis, Alkis Simitsis, Manolis Terrovi...
FSTTCS
2005
Springer
15 years 7 months ago
Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
Jens Chr. Godskesen, Thomas T. Hildebrandt