Sciweavers

1998 search results - page 212 / 400
» Basic Association Rules
Sort
View
DIAGRAMS
2010
Springer
15 years 8 months ago
Toward a Physics of Equations
Papers on diagrammatic reasoning often begin by dividing marks on paper into two basic classes: diagrams and sentences. While endorsing the perspective that a reasoning episode can...
David Landy
RTA
2010
Springer
15 years 8 months ago
A Proof Calculus Which Reduces Syntactic Bureaucracy
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
Alessio Guglielmi, Tom Gundersen, Michel Parigot
APSEC
2004
IEEE
15 years 8 months ago
A Systematic Method to Identify Software Components
In component-based development (CBD), component is the basic unit for reuse and it provides a relatively coarse-grained functionality. A component typically consists of several re...
Soo Dong Kim, Soo Ho Chang
WSC
2007
15 years 6 months ago
Upgraded cellular automata based group-work interaction simulation
The simulation of group-work interaction is significant for Chinese enterprise organizational management. As a result, a cellular-automata based simulation model is put forward. T...
Dong Shengping, Hu Bin
WSC
2007
15 years 6 months ago
Assessing tram schedules using a library of simulation components
Assessing tram schedules is important to assure an efficient use of infrastructure and for the provision of a good quality service. Most existing infrastructure modeling tools pr...
Elisangela Mieko Kanacilo, Alexander Verbraeck