Sciweavers

4902 search results - page 355 / 981
» Structures, Semantics and Statistics
Sort
View
PPDP
2009
Springer
16 years 1 months ago
Relational semantics for effect-based program transformations: higher-order store
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
MMSP
2008
IEEE
144views Multimedia» more  MMSP 2008»
16 years 1 months ago
Spatiotemporal semantic video segmentation
—In this paper, we propose a framework to extend semantic labeling of images to video shot sequences and achieve efficient and semantic-aware spatiotemporal video segmentation. ...
Eric Galmar, Thanos Athanasiadis, Benoit Huet, Yan...
SEMCO
2007
IEEE
16 years 1 months ago
Sub-Symbolic Semantic Layer in Cyc for Intuitive Chat-Bots
The work presented in this paper aims to combine Latent Semantic Analysis methodology, common sense and traditional knowledge representation in order to improve the dialogue capab...
Giovanni Pilato, Agnese Augello, Giorgio Vassallo,...
ATAL
2005
Springer
16 years 8 days ago
Semantics of declarative goals in agent programming
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch....
EPEW
2005
Springer
16 years 8 days ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes