Sciweavers

3653 search results - page 79 / 731
» On Recognizable Timed Languages
Sort
View
CLEF
2007
Springer
15 years 4 months ago
GeoCLEF 2007: The CLEF 2007 Cross-Language Geographic Information Retrieval Track Overview
GeoCLEF ran as a regular track for the second time within the Cross Language Evaluation Forum (CLEF) 2007. The purpose of GeoCLEF is to test and evaluate cross-language geographic ...
Thomas Mandl, Fredric C. Gey, Giorgio Maria Di Nun...
CAINE
2004
14 years 11 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 2 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 1 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
ACL
1998
14 years 11 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