Sciweavers

325 search results - page 14 / 65
» MIX Is Not a Tree-Adjoining Language
Sort
View
CAINE
2003
14 years 11 months ago
Optimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
Nicolas Pernet, Yves Sorel
APLAS
2007
ACM
15 years 1 months ago
Mixed Inductive/Coinductive Types and Strong Normalization
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
Andreas Abel
ACL
1998
14 years 11 months ago
The Production of Code-Mixed Discourse
We propose a comprehensive theory of codemixed discourse, encompassing equivalencepoint and insertional code-switching, palindromic constructions and lexical borrowing. The starti...
David Sankoff
ACMACE
2004
ACM
15 years 3 months ago
Compelling experiences in mixed reality interactive storytelling
Entertainment systems promise to be a significant application for Mixed Reality. Recently, a growing number of Mixed Reality applications have included interaction with virtual ac...
Fred Charles, Marc Cavazza, Steven J. Mead, Olivie...
CICLING
2008
Springer
14 years 11 months ago
Mixing Statistical and Symbolic Approaches for Chemical Names Recognition
This paper investigates the problem of automatic chemical Term Recognition (TR) and proposes to tackle the problem by fusing Symbolic and statistical techniques. Unlike other solut...
Florian Boudin, Juan Manuel Torres Moreno, Marc El...