4199 search results - page 563 / 840 » Generalizing Data in Natural Language |
146
click to vote
ERLANG
2006
ACM
16 years 15 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
140
click to vote
PLDI
2005
ACM
16 years 2 days ago
2005
ACM
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus ...
206
click to vote
WWW
2005
ACM
16 years 2 days ago
2005
ACM
This paper proposes an incremental maintenance algorithm that efficiently updates the materialized XPath/XSLT views defined using XPath expressions in XP{[],∗,//,vars} . The al...
174
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
185
click to vote
ICSOC
2004
Springer
15 years 12 months ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...