Sciweavers

1004 search results - page 105 / 201
» Product representations of polynomials
Sort
View
104
Voted
CIE
2010
Springer
15 years 5 months ago
Higher-Order Containers
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
Thorsten Altenkirch, Paul Levy, Sam Staton
132
Voted
TAPSOFT
1997
Springer
15 years 5 months ago
A Typed Intermediate Language for Flow-Directed Compilation
We present a typed intermediate language λCIL for optimizing compilers for function-oriented and polymorphically typed programming languages (e.g., ML). The language λCIL is a ty...
J. B. Wells, Allyn Dimock, Robert Muller, Franklyn...
HCI
2007
15 years 2 months ago
Auditory Accessibility of Metadata in Books: A Design for All Approach
There are two issues that are challenging in the life-cycle of Digital Talking Books (DTB): the automatic labeling of text formatting meta-data in documents and the multimodal repr...
Dimitrios Tsonos, Gerasimos Xydas, Georgios Kourou...
77
Voted
EACL
2003
ACL Anthology
15 years 2 months ago
A dialogue system with contextually appropriate spoken output intonation
We demonstrate the production of spoken output with contextually appropriate intonation in the information-state based dialogue system GoDiS. We exploit the context representation...
Ivana Kruijff-Korbayová, Kepa Joseba Rodr&i...
FLAIRS
1998
15 years 2 months ago
Action-Centered Communication with an Embedded Agent
In mostcases natural languageprocessingis seen as an isolated cognitive capability of a system. Languageunderstandingis often restricted to the mappingof natural languageexpressio...
Jan-Torsten Milde, Kornelia Peters, Simone Strippg...