194 search results - page 34 / 39 » A Rewriting Semantics for Type Inference |
ICDE
2008
IEEE
14 years 8 months ago
2008
IEEE
Abstract-- Privacy preservation in data mining demands protecting both input and output privacy. The former refers to sanitizing the raw data itself before performing mining. The l...
AIML
2008
13 years 8 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...
MIDDLEWARE
2004
Springer
14 years 21 days ago
2004
Springer
The increasing popularity of XML Web services motivates us to examine if it is feasible to substitute one vendor service for another when using a Web-based application, assuming th...
ISI
2008
Springer
13 years 7 months ago
2008
Springer
Question classification (QC) plays a key role in automated question answering (QA) systems. In Chinese QC, for example, a question is analyzed and then labeled with the question ty...