Sciweavers

JIIS
2008
69views more  JIIS 2008»
14 years 13 days ago
Consistency measures for feature selection
Antonio Arauzo-Azofra, José Manuel Ben&iacu...
JIIS
2008
89views more  JIIS 2008»
14 years 13 days ago
A note on phase transitions and computational pitfalls of learning from sequences
An ever greater range of applications call for learning from sequences. Grammar induction is one prominent tool for sequence learning, it is therefore important to know its proper...
Antoine Cornuéjols, Michèle Sebag
JIIS
2008
133views more  JIIS 2008»
14 years 13 days ago
Maintaining frequent closed itemsets over a sliding window
In this paper, we study the incremental update of Frequent Closed Itemsets (FCIs) over a sliding window in a high-speed data stream. We propose the notion of semi-FCIs, which is to...
James Cheng, Yiping Ke, Wilfred Ng
JIIS
2008
95views more  JIIS 2008»
14 years 13 days ago
Approximate schemas, source-consistency and query answering
We use the Edit distance with Moves on words and trees and say that two regular (tree) languages are -close if every word (tree) of one language is -close to the other. A transduc...
Michel de Rougemont, Adrien Vieilleribière
JIIS
2008
104views more  JIIS 2008»
14 years 13 days ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
JIIS
2008
104views more  JIIS 2008»
14 years 13 days ago
Transaction Management for Flash Media Databases in Portable Computing Environments
Flash memory is becoming a major database storage in building embedded systems or portable devices because of its non-volatile, shock-resistant, power-economic nature, and fast acc...
Siwoo Byun
JIIS
2008
40views more  JIIS 2008»
14 years 13 days ago
VirtuE: a formal model of virtual enterprises for information markets
Alessandro D'Atri, Amihai Motro