681 search results - page 73 / 137 » Combining Theorem Proving with Natural Language Processing |
120
click to vote
CICLING
2010
Springer
15 years 10 months ago
2010
Springer
In practice, lexical chains are typically built using term reiteration or resource-based measures of semantic distance. The former approach misses out on a significant portion of ...
100
click to vote
FDL
2008
IEEE
15 years 9 months ago
2008
IEEE
In the real-time and embedded domain, systems tend to combine periodic and aperiodic computations. This leads to mixing event-triggered with timetriggered communications with thei...
123
click to vote
FDL
2008
IEEE
15 years 9 months ago
2008
IEEE
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
134
click to vote
IJCNLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We build a class-based selection preference sub-model to incorporate external semantic knowledge from two Chinese electronic semantic dictionaries. This sub-model is comb...
110
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
It is hard to develop and evolve software product-line architectures (PLAs) for large-scale distributed real-time and embedded (DRE) systems. Although certain challenges of PLAs ca...