Sciweavers

18 search results - page 3 / 4
» Angelic Semantics for High-Level Actions
Sort
View
AIL
2007
126views more  AIL 2007»
13 years 11 months ago
A web ontologies framework for digital rights management
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
Roberto García, Rosa Gil, Jaime Delgado
DSN
2007
IEEE
14 years 5 months ago
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
CISIS
2010
IEEE
14 years 4 months ago
Resilient Critical Infrastructure Management Using Service Oriented Architecture
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...
Martin Hall-May, Mike Surridge
ICCV
2009
IEEE
1042views Computer Vision» more  ICCV 2009»
15 years 3 months ago
Activity Recognition using the velocity histories of tracked keypoints
We present an activity recognition feature inspired by human psychophysical performance. This feature is based on the velocity history of tracked keypoints. We present a generat...
Ross Messing, Chris Pal, Henry Kautz
MIDDLEWARE
2007
Springer
14 years 4 months ago
Rule-based reasoning about qualitative spatiotemporal relations
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
Clemens Holzmann