7890 search results - page 472 / 1578 » The MathSAT 3 System |
145
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
Commonly used coreference resolution evaluation metrics can only be applied to key mentions, i.e. already annotated mentions. We here propose two variants of the B3 and CEAF coref...
254
Voted
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
In recent research, we have proposed a framework for highlevel specification of interactive, data-driven Web applications and established theoretical foundations for their verific...
153
click to vote
TRIDENTCOM
2005
IEEE
16 years 13 days ago
2005
IEEE
Experimental activities play a vital role in the deployment and development of novel radio access networks. In particular the movement from 3G to 4G poses new challenges, which ne...
175
click to vote
CHARME
2005
Springer
16 years 12 days ago
2005
Springer
Partial order (PO) reduction methods are widely employed to combat state explosion during model-checking. In this paper, we develop a partial order reduction algorithm for rule-bas...
161
click to vote
ICADL
2005
Springer
16 years 11 days ago
2005
Springer
Question answering (QA) is the study on the methodology that returns exact answers to natural language questions. This paper attempts to increase the coverage and accuracy of QA sy...