Sciweavers

3505 search results - page 366 / 701
» A Language for Human Action
Sort
View
SIGCSE
2005
ACM
147views Education» more  SIGCSE 2005»
16 years 10 days ago
Automated tutoring for a database skills training environment
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
Claire Kenny, Claus Pahl
CASSIS
2005
Springer
16 years 10 days ago
Modular Proof Principles for Parameterised Concretizations
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
David Pichardie
CICLING
2005
Springer
16 years 10 days ago
Automatic Annotation of Corpora for Text Summarisation: A Comparative Study
This paper presents two methods which automatically produce annotated corpora for text summarisation on the basis of human abstracts. Both methods identify a set of sentences from ...
Constantin Orasan
IJCNLP
2005
Springer
16 years 9 days ago
Using the Structure of a Conceptual Network in Computing Semantic Relatedness
Abstract. We present a new method for computing semantic relatedness of concepts. The method relies solely on the structure of a conceptual network and eliminates the need for perf...
Iryna Gurevych
AWCC
2004
Springer
16 years 6 days ago
Fuzzy Logic-Based Image Retrieval
This paper imports the fuzzy logic into image retrieval to deal with the vagueness and ambiguity of human judgment of image similarity. Our retrieval system has the following prop...
Xiaoling Wang, Kanglin Xie