Sciweavers

3604 search results - page 370 / 721
» Relation rule mining
Sort
View
AISC
1992
Springer
15 years 11 months ago
A Type-Coercion Problem in Computer Algebra
Abstract. An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system ...
Andreas Weber
BPM
2003
Springer
123views Business» more  BPM 2003»
15 years 10 months ago
A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...
Piotr Chrzastowski-Wachtel, Boualem Benatallah, Ra...
NIPS
2004
15 years 8 months ago
Spike-timing Dependent Plasticity and Mutual Information Maximization for a Spiking Neuron Model
We derive an optimal learning rule in the sense of mutual information maximization for a spiking neuron model. Under the assumption of small fluctuations of the input, we find a s...
Taro Toyoizumi, Jean-Pascal Pfister, Kazuyuki Aiha...
WICSA
2007
15 years 8 months ago
A Comparison of Static Architecture Compliance Checking Approaches
The software architecture is one of the most important artifacts created in the lifecycle of a software system. It enables, facilitates, hampers, or interferes directly the achiev...
Jens Knodel, Daniel Popescu
GG
2008
Springer
15 years 7 months ago
Graph Transformation for Topology Modelling
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...
Mathieu Poudret, Agnès Arnould, Jean-Paul C...