Search Sciweavers | Sciweavers

16091 search results - page 144 / 3219

» Solving

116

click to vote

NLDB
2007
Springer

93views Natural Language Processing» more NLDB 2007»

DLSITE-1: Lexical Analysis for Solving Textual Entailment Recognition

15 years 8 months ago

Download www.dlsi.ua.es

This paper discusses the recognition of textual entailment in a text-hypothesis pair by applying a wide variety of lexical measures. We consider that the entailment phenomenon can ...

Óscar Ferrández, Daniel Micol, Rafae...

claim paper

Read More »

Voted

OR
2007
Springer

113views Operations Research» more OR 2007»

Solving Railway Track Allocation Problems

15 years 8 months ago

Download www.trassenboerse.de

Ralf Borndörfer, Thomas Schlechte

claim paper

Read More »

108

Voted

SAT
2007
Springer

73views Hardware» more SAT 2007»

SAT Solving for Termination Analysis with Polynomial Interpretations

15 years 8 months ago

Download cl-informatik.uibk.ac.at

Abstract. Polynomial interpretations are one of the most popular techniques for automated termination analysis and the search for such interpretations is a main bottleneck in most ...

Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, ...

claim paper

Read More »

click to vote

SAT
2007
Springer

110views Hardware» more SAT 2007»

Dynamically Partitioning for Solving QBF

15 years 8 months ago