634 search results - page 109 / 127 » NLP (Natural Language Processing) for NLP (Natural Language ... |
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
108
click to vote
WFLP
2000
Springer
15 years 3 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
103
click to vote
SIGMOD
2002
ACM
15 years 12 months ago
2002
ACM
The widespread distribution and availability of smallscale sensors, actuators, and embedded processors is transforming the physical world into a computing platform. One such examp...
ACL
1996
15 years 1 months ago
1996
Charts constitute a natural uniform architecture for parsing and generation provided string position is replaced by a notion more appropriate to logical forms and that measures ar...