Sciweavers

1076 search results - page 120 / 216
» Logical Languages for Data Mining
Sort
View
SPIN
2004
Springer
14 years 2 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
ICMCS
2005
IEEE
135views Multimedia» more  ICMCS 2005»
14 years 2 months ago
Retrieving, Adapting and Delivering Multimedia Content Using a Mobile Agent Architecture
An integrated, reconfigurable, adaptable and open system for mining, indexing and retrieving multimedia information based on a mobile agent technology scheme is presented. The sys...
Nikolaos Papadakis, Anastasios D. Doulamis, Dimitr...
FUIN
2007
92views more  FUIN 2007»
13 years 9 months ago
Foundations of Modal Deductive Databases
We give formulations for modal deductive databases and present a modal query language called MDatalog. We define modal relational algebras and give the seminaive evaluation algor...
Linh Anh Nguyen
WSDM
2010
ACM
197views Data Mining» more  WSDM 2010»
14 years 6 months ago
Adapting Information Bottleneck Method for Automatic Construction of Domain-oriented Sentiment Lexicon
Domain-oriented sentiment lexicons are widely used for finegrained sentiment analysis on reviews; therefore, the automatic construction of domain-oriented sentiment lexicon is a f...
Songbo Tan, Weifu Du, Xiaochun Yun, Xueqi Cheng
ICDM
2006
IEEE
138views Data Mining» more  ICDM 2006»
14 years 3 months ago
Adding Semantics to Email Clustering
This paper presents a novel algorithm to cluster emails according to their contents and the sentence styles of their subject lines. In our algorithm, natural language processing t...
Hua Li, Dou Shen, Benyu Zhang, Zheng Chen, Qiang Y...