Sciweavers

2904 search results - page 197 / 581
» Number Forms in the Brain
Sort
View
KDD
1998
ACM
140views Data Mining» more  KDD 1998»
15 years 11 months ago
Active Templates: Comprehensive Support for the Knowledge Discovery Process
The goal of Active Template research is to create a single, unified environment that a data analyst can use to carry out a knowledge discovery project, and to deliver the resultin...
Randy Kerber, Hal Beck, Tej Anand, Bill Smart
UML
1998
Springer
15 years 11 months ago
Reflections on the Object Constraint Language
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagram...
Ali Hamie, Franco Civello, John Howse, Stuart Kent...
SP
1996
IEEE
140views Security Privacy» more  SP 1996»
15 years 11 months ago
A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
Simon N. Foley, Li Gong, Xiaolei Qian
SOFSEM
1997
Springer
15 years 11 months ago
Time Optimal Self-Stabilizing Algorithms
: In this paper we rst present a general lower bound on the stabilization time which holds for a number of graph theoretic problems, including leader election, spanning tree constr...
Rastislav Kralovic
AISB
1994
Springer
15 years 11 months ago
An Empirical Comparison of Selection Methods in Evolutionary Algorithms
Selection methods in Evolutionary Algorithms, including Genetic Algorithms, Evolution Strategies ES and Evolutionary Programming, EP are compared by observing the rate of converge...
Peter J. B. Hancock