Sciweavers

709 search results - page 29 / 142
» An Equational Theory for Transactions
Sort
View
GRC
2010
IEEE
15 years 6 days ago
Local Pattern Mining from Sequences Using Rough Set Theory
Abstract--Sequential pattern mining is a crucial but challenging task in many applications, e.g., analyzing the behaviors of data in transactions and discovering frequent patterns ...
Ken Kaneiwa, Yasuo Kudo
IJAR
2011
118views more  IJAR 2011»
14 years 2 months ago
A sequential pattern mining algorithm using rough set theory
Sequential pattern mining is a crucial but challenging task in many applications, e.g., analyzing the behaviors of data in transactions and discovering frequent patterns in time se...
Ken Kaneiwa, Yasuo Kudo
AMC
2006
145views more  AMC 2006»
14 years 11 months ago
Computing the moments of high dimensional solutions of the master equation
Derived from the Markov character only, the master equation of chemical reactions is an accurate stochastic description of quite general systems in chemistry. Exact solutions of t...
Stefan Engblom
75
Voted
CSL
2007
Springer
15 years 3 months ago
Lambda Theories of Effective Lambda Models
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
Chantal Berline, Giulio Manzonetto, Antonino Salib...
JMLR
2006
78views more  JMLR 2006»
14 years 11 months ago
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...
Emanuel Kitzelmann, Ute Schmid