Sciweavers

634 search results - page 50 / 127
» NLP (Natural Language Processing) for NLP (Natural Language ...
Sort
View
110
Voted
IFL
2007
Springer
133views Formal Methods» more  IFL 2007»
15 years 9 months ago
Debugging Lazy Functional Programs by Asking the Oracle
Bernd Braßel, Holger Siegel
98
Voted
FM
2009
Springer
118views Formal Methods» more  FM 2009»
15 years 10 months ago
Certifiable Specification and Verification of C Programs
Christoph Lüth, Dennis Walter
123
Voted
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
15 years 9 months ago
A systemic computation platform for the modelling and analysis of processes with natural characteristics
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
Erwan Le Martelot, Peter J. Bentley, R. Beau Lotto
163
Voted
IJSI
2008
129views more  IJSI 2008»
15 years 3 months ago
Managing the Acronym/Expansion Identification Process for Text-Mining Applications
This paper deals with an acronym/definition extraction approach from textual data (corpora) and the disambiguation of these definitions (or expansions). Both steps of our global pr...
Mathieu Roche, Violaine Prince
134
Voted
EMNLP
2010
15 years 1 months ago
Constraints Based Taxonomic Relation Classification
Determining whether two terms in text have an ancestor relation (e.g. Toyota and car) or a sibling relation (e.g. Toyota and Honda) is an essential component of textual inference ...
Quang Do, Dan Roth