Sciweavers

671 search results - page 45 / 135
» Semantics Preserving Model Composition
Sort
View
ICCV
2007
IEEE
14 years 9 months ago
Using High-Level Visual Information for Color Constancy
We propose to use high-level visual information to improve illuminant estimation. Several illuminant estimation approaches are applied to compute a set of possible illuminants. Fo...
Joost van de Weijer, Cordelia Schmid, Jakob J. Ver...
ICIW
2007
IEEE
13 years 11 months ago
A Refined Goal Model for Semantic Web Services
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
Michael Stollberg, Barry Norton
SAC
2010
ACM
13 years 7 months ago
Data-aware design and verification of service compositions with Reo and mCRL2
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
Natallia Kokash, Christian Krause, Erik P. de Vink
FORMATS
2005
Springer
14 years 1 months ago
Implementation of Timed Automata: An Issue of Semantics or Modeling?
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
Karine Altisen, Stavros Tripakis
ACSD
1998
IEEE
105views Hardware» more  ACSD 1998»
13 years 12 months ago
Visual Formalisms Revisited
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
Radu Grosu, Gheorghe Stefanescu, Manfred Broy