1496 search results - page 142 / 300 » Tools for Extracting and Structuring Knowledge from Texts |
141
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we discuss and demonstrate how traditional literature reviews may be enriched by computer-assisted research profiling. Research profiling makes use of sophisticated ...
156
Voted
ISI
2007
Springer
15 years 9 months ago
2007
Springer
The burgeoning amount of textual data in distributed sources combined with the obstacles involved in creating and maintaining central repositories motivates the need for effective ...
128
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Uncovering cellular roles of a protein is a task of tremendous importance and complexity that requires dedicated experimental work as well as often sophisticated data ...
144
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
127
Voted
LREC
2010
15 years 5 months ago
2010
Reflecting the rapid growth of science, technology, and culture, it has become common practice to consult tools on the World Wide Web for various terms. Existing search engines pr...