Sciweavers

3725 search results - page 525 / 745
» DLP System Description
Sort
View
MMS
2008
15 years 4 months ago
Canonical processes of semantically annotated media production
While many multimedia systems allow the association of semantic annotations with media assets, there is no agreedupon way of sharing these among systems. As an initial step within...
Lynda Hardman, Zeljko Obrenovic, Frank Nack, Brigi...
RE
2006
Springer
15 years 4 months ago
Goal and scenario validation: a fluent combination
Scenarios and goals are effective techniques for requirements definition. Goals are objectives that a system has to meet. They are elaborated into a structure that decomposes decla...
Sebastián Uchitel, Robert Chatley, Jeff Kra...
JLP
2007
99views more  JLP 2007»
15 years 4 months ago
Resources in process algebra
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Anna Philippou, Oleg Sokolsky
ASE
2000
116views more  ASE 2000»
15 years 4 months ago
Behavioural Conflicts in a Causal Specification
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...
Jonathan D. Moffett, Andrew Vickers
IJCV
2007
140views more  IJCV 2007»
15 years 4 months ago
Omnidirectional Vision Based Topological Navigation
Abstract. In this work we present a novel system for autonomous mobile robot navigation. With only an omnidirectional camera as sensor, this system is able to build automatically a...
Toon Goedemé, Marnix Nuttin, Tinne Tuytelaa...