1364 search results - page 47 / 273 » Comparative Branching-Time Semantics |
ICWE
2010
Springer
14 years 10 months ago
2010
Springer
Evaluation of the communicative efficacy of a website is important in the context of an organization communication strategy. To address this issue, we propose a systematic method a...
ACL
2010
14 years 10 months ago
2010
Tree SRL system is a Semantic Role Labelling supervised system based on a tree-distance algorithm and a simple k-NN implementation. The novelty of the system lies in comparing the...
110
click to vote
DAS
2006
Springer
15 years 3 months ago
2006
Springer
Handwritten essays are widely used in educational assessments, particularly in classroom instruction. This paper concerns the design of an automated system for performing the task ...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
An information retrieval technique, latent semantic indexing, is used to automatically identify traceability links from system documentation to program source code. The results of...
LOPSTR
2004
Springer
15 years 5 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...