Sciweavers

231 search results - page 35 / 47
» Natural language reporting for ETL processes
Sort
View
LREC
2008
155views Education» more  LREC 2008»
13 years 10 months ago
L-ISA: Learning Domain Specific Isa-Relations from the Web
Automated extraction of ontological knowledge from text corpora is a relevant task in Natural Language Processing. In this paper, we focus on the problem of finding hypernyms for ...
Alessandra Potrich, Emanuele Pianta
LREC
2008
128views Education» more  LREC 2008»
13 years 10 months ago
On the Role of the NIMITEK Corpus in Developing an Emotion Adaptive Spoken Dialogue System
This paper reports on the creation of the multimodal NIMITEK corpus of affected behavior in human-machine interaction and its role in the development of the NIMITEK prototype syst...
Milan Gnjatovic, Dietmar Rösner
ICDE
2005
IEEE
194views Database» more  ICDE 2005»
14 years 9 months ago
Sentiment Mining in WebFountain
WebFountain is a platform for very large-scale text analytics applications that allows uniform access to a wide variety of sources. It enables the deployment of a variety of docum...
Jeonghee Yi, Wayne Niblack
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 3 months ago
A Metric Encoding for Bounded Model Checking
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
FM
2009
Springer
95views Formal Methods» more  FM 2009»
14 years 3 months ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...