Sciweavers

7918 search results - page 342 / 1584
» Model Composition Directives
Sort
View
149
Voted
MM
2009
ACM
144views Multimedia» more  MM 2009»
15 years 11 months ago
Manipulating lossless video in the compressed domain
A compressed-domain transformation is one that operates directly on the compressed format, rather than requiring conversion to an uncompressed format prior to processing. Performi...
William Thies, Steven Hall, Saman P. Amarasinghe
LREC
2010
223views Education» more  LREC 2010»
15 years 6 months ago
An API for Multi-lingual Ontology Matching
Ontology matching consists of generating a set of correspondences between the entities of two ontologies. This process is seen as a solution to data heterogeneity in ontology-base...
Cássia Trojahn dos Santos, Paulo Quaresma, ...
ENTCS
2008
123views more  ENTCS 2008»
15 years 5 months ago
A Chart Semantics for the Pi-Calculus
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
Johannes Borgström, Andrew D. Gordon, Andrew ...
EUROMICRO
2006
IEEE
15 years 11 months ago
Real-Time Modelling of Distributed Component-Based Applications
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
Patricia López Martínez, Julio L. Me...
133
Voted
AIPS
2006
15 years 6 months ago
Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach
Reasoning on precedence relations is crucial for many planning and scheduling systems. In this paper we propose a double precedence graph where direct precedence relations are kep...
Roman Barták, Ondrej Cepek