Sciweavers

4880 search results - page 221 / 976
» Manuals as Structured Programs
Sort
View
NAACL
1994
15 years 5 months ago
1993 Benchmark Tests for the ARPA Spoken Language Program
This paper reports results obtained in benchmark tests conducted within the ARPA Spoken Language program in November and December of 1993. In addition to ARPA contractors, partici...
David S. Pallett, Jonathan G. Fiscus, William M. F...
EACL
1989
ACL Anthology
15 years 5 months ago
Programming in Logic with Constraints for Natural Language Processing
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...
Patrick Saint-Dizier
AC
2002
Springer
15 years 4 months ago
A Programming Approach to the Design of Asynchronous Logic Blocks
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
Mark B. Josephs, Dennis P. Furey
CSCLP
2004
Springer
15 years 9 months ago
Automatically Exploiting Symmetries in Constraint Programming
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
Arathi Ramani, Igor L. Markov
MICRO
1994
IEEE
99views Hardware» more  MICRO 1994»
15 years 8 months ago
Data relocation and prefetching for programs with large data sets
Numerical applications frequently contain nested loop structures that process large arrays of data. The execution of these loop structures often produces memory preference pattern...
Yoji Yamada, John Gyllenhall, Grant Haab, Wen-mei ...