8008 search results - page 1152 / 1602 » Computer-Aided Language Processing |
131
click to vote
ECSQARU
2003
Springer
15 years 10 months ago
2003
Springer
In previous papers, we have presented a logic-based framework for merging structured news reports [14, 16, 15]. Structured news reports are XML documents, where the text entries ar...
124
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
134
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
SAC is a purely functional array processing language designed with numerical applications in mind. It supports generic, high-level program specifications in the style of APL. How...
113
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
The size and complexity of current custom VLSI have forced the use of high-level programming languages to describe hardware, and compiler and synthesis technology bstract designs ...
168
click to vote
ADAEUROPE
2010
Springer
15 years 9 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...