Sciweavers

866 search results - page 54 / 174
» A compositional semantics for CHR
Sort
View
ICCV
2007
IEEE
14 years 11 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...
ENTCS
2007
97views more  ENTCS 2007»
13 years 9 months ago
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
Harald Fecher, Heiko Schmidt
IJWET
2008
75views more  IJWET 2008»
13 years 8 months ago
Semantic model-driven development of web service architectures
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
Claus Pahl
NAACL
2007
13 years 11 months ago
A Cascaded Machine Learning Approach to Interpreting Temporal Expressions
A new architecture for identifying and interpreting temporal expressions is introduced, in which the large set of complex hand-crafted rules standard in systems for this task is r...
David Ahn, Joris van Rantwijk, Maarten de Rijke
KI
2008
Springer
13 years 9 months ago
Concerning Olga, the Beautiful Little Street Dancer: Adjectives as Higher-Order Polymorphic Functions
In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...
Walid S. Saba