Sciweavers

13383 search results - page 350 / 2677
» Abstractions from proofs
Sort
View
DASFAA
2005
IEEE
153views Database» more  DASFAA 2005»
16 years 12 days ago
FASST Mining: Discovering Frequently Changing Semantic Structure from Versions of Unordered XML Documents
Abstract. In this paper, we present a FASST mining approach to extract the frequently changing semantic structures (FASSTs), which are a subset of semantic substructures that chang...
Qiankun Zhao, Sourav S. Bhowmick
154
Voted
CALCO
2005
Springer
69views Mathematics» more  CALCO 2005»
16 years 10 days ago
From T-Coalgebras to Filter Structures and Transition Systems
Abstract. For any set-endofunctor T : Set → Set there exists a largest subcartesian transformation µ to the filter functor F : Set → Set. Thus we can associate with every T-c...
H. Peter Gumm
CLEF
2005
Springer
16 years 10 days ago
Finding Answers to Indonesian Questions from English Documents
Abstract. Our report describes the results of work in our participation in the IndonesianEnglish question-answering task of the 2006 Cross-Language Evaluation Forum (CLEF). In this...
Mirna Adriani, Rinawati
DEXA
2005
Springer
109views Database» more  DEXA 2005»
16 years 10 days ago
An XML Approach to Semantically Extract Data from HTML Tables
Abstract. Data intensive information is often published on the internet in the format of HTML tables. Extracting some of the information that is of users’ interest from the inter...
Jixue Liu, Zhuoyun Ao, Ho-Hyun Park, Yongfeng Chen
IDA
2005
Springer
16 years 9 days ago
Pulse: Mining Customer Opinions from Free Text
Abstract. We present a prototype system, code-named Pulse, for mining topics and sentiment orientation jointly from free text customer feedback. We describe the application of the ...
Michael Gamon, Anthony Aue, Simon Corston-Oliver, ...