681 search results - page 73 / 137 » Combining Theorem Proving with Natural Language Processing |
CICLING
2010
Springer
15 years 4 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 ...
FDL
2008
IEEE
15 years 4 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...
FDL
2008
IEEE
15 years 4 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...
IJCNLP
2005
Springer
15 years 3 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...
UML
2005
Springer
15 years 3 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...