Sciweavers

9444 search results - page 1597 / 1889
» The Language Model LMNtal
Sort
View
LICS
1997
IEEE
15 years 11 months ago
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
Martín Hötzel Escardó, Thomas S...
IUI
1997
ACM
15 years 11 months ago
Integrating Planning and Task-Based Design for Multimedia Presentation
We claim that automatic multimedia presentation can be modeled by integrating two complementary approaches to automatic design: hierarchical planning to achieve communicative goal...
Stephan M. Kerpedjiev, Giuseppe Carenini, Steven F...
MM
1997
ACM
82views Multimedia» more  MM 1997»
15 years 11 months ago
A Visual Approach to Multimedia Querying and Presentation
Multimedia data has become readily available from a variety of resources, such as the Web, to users (ranging from naive to sophisticated) who need to select and to present the dat...
Isabel F. Cruz, Wendy T. Lucas
VRML
1997
ACM
15 years 11 months ago
Using VRML to Access Manufacturing Data
This paper describes the use of the Virtual Reality Modeling Language (VRML) in the VIM - Visual Interface to Manufacturing system. The VIM prototype demonstrates the technical fe...
Sandy Ressler, Qiming Wang, Scott Bodarky, Charles...
ARTS
1997
Springer
15 years 11 months ago
PLC-Automata: A New Class of Implementable Real-Time Automata
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
Henning Dierks
« Prev « First page 1597 / 1889 Last » Next »