Sciweavers

14577 search results - page 2748 / 2916
» Statistical Language Modelling
Sort
View
160
Voted
LICS
2009
IEEE
16 years 24 days ago
Pointer Programs and Undirected Reachability
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
Martin Hofmann, Ulrich Schöpp
162
Voted
LICS
2009
IEEE
16 years 24 days ago
An Improved Lower Bound for the Complementation of Rabin Automata
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
Yang Cai, Ting Zhang, Haifeng Luo
AIED
2009
Springer
16 years 22 days ago
Assessing Student Paraphrases Using Lexical Semantics and Word Weighting
We present in this paper an approach to assessing student paraphrases in the intelligent tutoring system iSTART. The approach is based on measuring the semantic similarity between ...
Vasile Rus, Mihai C. Lintean, Arthur C. Graesser, ...
XSYM
2009
Springer
264views Database» more  XSYM 2009»
16 years 22 days ago
From Entity Relationship to XML Schema: A Graph-Theoretic Approach
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
Massimo Franceschet, Donatella Gubiani, Angelo Mon...
ATAL
2009
Springer
16 years 22 days ago
Dynamic protocols for open agent systems
Multi-agent systems where the members are developed by parties with competing interests, and where there is no access to a member’s internal state, are often classified as ‘o...
Alexander Artikis
« Prev « First page 2748 / 2916 Last » Next »