257 search results - page 21 / 52 » From Extracting to Abstracting: Generating Quasi-abstractive... |
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...
CAV
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
BMCBI
2010
14 years 10 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
100
click to vote
ICST
2010
IEEE
14 years 7 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
CICLING
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper outlines a strategy to build new bilingual dictionaries from existing resources. The method is based on two main tasks: first, a new set of bilingual correspo...