Sciweavers

3604 search results - page 559 / 721
» Relation rule mining
Sort
View
ENGL
2008
87views more  ENGL 2008»
15 years 5 months ago
A Well-Balanced Menu Planning with Fuzzy Weight
For lifestyle-related disease caused by recent change of eating habits in Japan, this paper proposes a menu planning method using rough set theory, and it can satisfy each individu...
Tomoko Kashima, Shimpei Matsumoto, Hiroaki Ishii
ENTCS
2008
106views more  ENTCS 2008»
15 years 5 months ago
Towards a Sharing Strategy for the Graph Rewriting Calculus
The graph rewriting calculus is an extension of the -calculus, handling graph like structures rather than simple terms. The calculus over terms is naturally generalized by using u...
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, C...
COMBINATORICS
2006
112views more  COMBINATORICS 2006»
15 years 5 months ago
Shift-Induced Dynamical Systems on Partitions and Compositions
The rules of "Bulgarian solitaire" are considered as an operation on the set of partitions to induce a finite dynamical system. We focus on partitions with no preimage u...
Brian Hopkins, Michael A. Jones
FMSD
2006
103views more  FMSD 2006»
15 years 5 months ago
Cones and foci: A mechanical framework for protocol verification
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
Wan Fokkink, Jun Pang, Jaco van de Pol
IBIS
2006
103views more  IBIS 2006»
15 years 5 months ago
Ontology Mapping for Web-Based Educational Systems Interoperability
In order to deal with the need of sharing learning objects within and across learning object repositories most of the recent work argue for the use of ontologies as a means for pro...
Amel Bouzeghoub, Abdeltif Elbyed