Sciweavers

156 search results - page 26 / 32
» Hierarchical Chunk-to-String Translation
Sort
View
MEMOCODE
2003
IEEE
15 years 2 months ago
Bridging CSP and C++ with Selective Formalism and Executable Specifications
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
William B. Gardner
ICCS
1997
Springer
15 years 1 months ago
The CG Mars Lander
The name of the system is \THE CG MARS LANDER", which stands forType Hierarchy Enhanced CGMatching And Retrieval SystemLinear Associative N-tuple Deductive Embedded Representa...
Gil Fuchs, Robert Levinson
ICS
1992
Tsinghua U.
15 years 1 months ago
The CODE 2.0 graphical parallel programming language
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
Peter Newton, James C. Browne
87
Voted
DFG
2004
Springer
15 years 1 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
IJCAI
2003
14 years 10 months ago
The Knowledge Required to Interpret Noun Compounds
Noun compound interpretation is the task of determining the semantic relations among the constituents of a noun compound. For example, "concrete floor" means a floor mad...
James Fan, Ken Barker, Bruce W. Porter