463 search results - page 53 / 93 » Design and Evaluation of an Automated Aspect Mining Tool |
PKDD
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
WWW
2011
ACM
13 years 3 months ago
2011
ACM
The explosion of Web opinion data has made essential the need for automatic tools to analyze and understand people’s sentiments toward different topics. In most sentiment analy...
CCS
2011
ACM
12 years 8 months ago
2011
ACM
Garbled circuits play a key role in secure computation. Unlike previous work, which focused mainly on efficiency and automation aspects of secure computation, in this paper we foc...
CLEF
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes our participation at the GeoCLEF 2005 task. We detail the main software components of our Geo-IR system, its adaptation for the participation at GeoCLEF and d...