Sciweavers

2017 search results - page 294 / 404
» Distributional Semantics in Technicolor
Sort
View
AMAST
2006
Springer
15 years 10 months ago
Realizability Criteria for Compositional MSC
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
Arjan J. Mooij, Judi Romijn, Wieger Wesselink
ECAI
2006
Springer
15 years 9 months ago
Possibilistic Influence Diagrams
Abstract. In this article we present the framework of Possibilistic Influence Diagrams (PID), which allow to model in a compact form problems of sequential decision making under un...
Laurent Garcia, Régis Sabbadin
FOSSACS
2006
Springer
15 years 9 months ago
Processes for Adhesive Rewriting Systems
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Ba...
ICMCS
2000
IEEE
110views Multimedia» more  ICMCS 2000»
15 years 9 months ago
Video Scene Segmentation using Video and Audio Features
In this paper we present a novel algorithm for video scene segmentation. We model a scene as a semantically consistent chunk of audio-visual data. Central to the segmentation fram...
Hari Sundaram, Shih-Fu Chang
154
Voted
POPL
2000
ACM
15 years 9 months ago
Generalized Certificate Revocation
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
Carl A. Gunter, Trevor Jim