Sciweavers

7452 search results - page 1282 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
TRECVID
2008
15 years 8 months ago
Florida International University and University of Miami TRECVID 2008 - High Level Feature Extraction
This paper describes the FIU-UM group TRECVID 2008 high level feature extraction task submission. We have used a correlation based video semantic concept detection system for this...
Guy Ravitz, Lin Lin, Mei-Ling Shyu, Michael Armell...
AIPS
2004
15 years 8 months ago
Conformant Planning via Heuristic Forward Search: A New Approach
Conformant planning is the task of generating plans given uncertainty about the initial state and action effects, and without any sensing capabilities during plan execution. The p...
Ronen I. Brafman, Jörg Hoffmann
DAGSTUHL
2004
15 years 8 months ago
Refinement and Consistency in Multiview Models
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
Heike Wehrheim
DAGSTUHL
2006
15 years 8 months ago
A Framework for Analyzing Composition of Security Aspects
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
Jorge Fox, Jan Jürjens
DAGSTUHL
2006
15 years 8 months ago
DecSerFlow: Towards a Truly Declarative Service Flow Language
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
Wil M. P. van der Aalst, Maja Pesic
« Prev « First page 1282 / 1491 Last » Next »