Sciweavers

4666 search results - page 174 / 934
» Equations on Timed Languages
Sort
View
CAINE
2004
15 years 7 months ago
Automated Error-Prevention and Error-Detection Tools for Assembly Language
- Automated tools for error prevention and error detection exist for many high-level languages, but have been nonexistent for assembly-language programs, embedded programs in parti...
Lance G. Johnson, David C. Pheanis
IPPS
2002
IEEE
15 years 10 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
MPC
2000
Springer
105views Mathematics» more  MPC 2000»
15 years 9 months ago
The Universal Resolving Algorithm: Inverse Computation in a Functional Language
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
Sergei M. Abramov, Robert Glück
134
Voted
ACL
1998
15 years 7 months ago
A Stochastic Language Model using Dependency and Its Improvement by Word Clustering
In this paper, we present a stochastic language model for Japanese using dependency. The prediction unit in thismodel isallattributeof "bunsetsu". This isrepresented by ...
Shinsuke Mori, Makoto Nagao
SIGDIAL
2010
15 years 3 months ago
Comparing Spoken Language Route Instructions for Robots across Environment Representations
Spoken language interaction between humans and robots in natural environments will necessarily involve communication about space and distance. The current study examines people�...
Matthew Marge, Alexander I. Rudnicky