Sciweavers

3185 search results - page 236 / 637
» Domain and language evaluation results
Sort
View
CIKM
2006
Springer
15 years 10 months ago
Concept frequency distribution in biomedical text summarization
Text summarization is a data reduction process. The use of text summarization enables users to reduce the amount of text that must be read while still assimilating the core inform...
Lawrence H. Reeve, Hyoil Han, Saya V. Nagori, Jona...
205
Voted
TLDI
2010
ACM
225views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Race-free and memory-safe multithreading: design and implementation in cyclone
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...
CICLING
2007
Springer
16 years 27 days ago
ANERsys: An Arabic Named Entity Recognition System Based on Maximum Entropy
Abstract. The task of Named Entity Recognition (NER) allows to identify proper names as well as temporal and numeric expressions, in an open-domain text. NER systems proved to be v...
Yassine Benajiba, Paolo Rosso, José-Miguel ...
PEPM
2007
ACM
16 years 25 days ago
Lowering: a static optimization technique for transparent functional reactivity
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
Kimberley Burchett, Gregory H. Cooper, Shriram Kri...
ICDT
2005
ACM
125views Database» more  ICDT 2005»
16 years 6 days ago
PTIME Queries Revisited
The existence of a language expressing precisely the PTIME queries on arbitrary structures remains the central open problem in the theory of database query languages. As it turns o...
Alan Nash, Jeffrey B. Remmel, Victor Vianu