Sciweavers

9642 search results - page 1576 / 1929
» Semantics in Multimedia Systems
Sort
View
ACSD
1998
IEEE
125views Hardware» more  ACSD 1998»
15 years 3 months ago
Hierarchical Concurrent Finite State Machines in Ptolemy
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
Bilung Lee, Edward A. Lee
IWANN
1999
Springer
15 years 3 months ago
Applying Ontology to the Web: A Case Study
This paper describes the use of Simple HTML Ontology Extensions (SHOE) in a real world internet application. SHOE allows authors to add semantic content to web pages and to relate...
Jeff Heflin, James A. Hendler, Sean Luke
SAS
1999
Springer
15 years 3 months ago
Polyhedral Analysis for Synchronous Languages
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
Frédéric Besson, Thomas P. Jensen, J...
STACS
1999
Springer
15 years 3 months ago
Completeness of Neighbourhood Logic
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the spe...
Rana Barua, Suman Roy, Zhou Chaochen
AMTA
1998
Springer
15 years 3 months ago
A Modular Approach to Spoken Language Translation for Large Domains
The MT engine of the Janus speech-to-speech translation system is designed around four main principles: 1 an interlingua approach that allows the e cient addition of new languages,...
Monika Woszczyna, Matthew Broadhead, Donna Gates, ...
« Prev « First page 1576 / 1929 Last » Next »