Sciweavers

3809 search results - page 155 / 762
» Associative language descriptions
Sort
View
IPPS
2002
IEEE
15 years 11 months ago
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
John O'Donnell
MSE
2000
IEEE
133views Hardware» more  MSE 2000»
15 years 11 months ago
Multimodal Presentation Markup Language MPML With Emotion Expression Functions Attached
With the increase of multimedia contents in the WWW, multimodal presentation using interactive life-like agents is attractive and becoming important. However, it is not easy for m...
Yuan Zong, Hiroshi Dohi, Mitsuru Ishizuka
ICTL
1994
15 years 10 months ago
A Survey of Concurrent METATEM - the Language and its Applications
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
Michael Fisher
IMPERIAL
1994
15 years 10 months ago
Geometric logic as a Specification Language
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
Steven Vickers
VIP
2003
15 years 7 months ago
Principles of Video Annotation Markup Language (VAML)
The creation of hypertext and World Wide Web provided a powerful mechanism for organizing and distributing the warehouse of information. However, video-based hypermedia may repres...
Tina T. Zhou, Jesse S. Jin