4914 search results - page 133 / 983 » Arbitration of a help system |
ENTCS
2006
13 years 8 months ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...
SIGCSE
2008
ACM
13 years 8 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
JCM
2007
13 years 8 months ago
2007
– Orthogonal Frequency Division Multiplexing is a promising technology for high data rate transmission in wideband wireless systems for achieving high downlink capabilities in th...
JSW
2007
13 years 8 months ago
2007
—Education of design engineering has started to change in response to the advancement of computer technology. This paper proposes a new design engineering educational framework u...
COLING
2002
13 years 8 months ago
2002
To help developing a localization oriented EBMT system, an automatic machine translation evaluation method is implemented which adopts edit distance, cosine correlation and Dice c...