917 search results - page 161 / 184 » Comparison of Data Structures for Computing Formal Concepts |
135
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Particle Swarm Optimization (PSO) is an established method for parameter optimization. It represents a population-based adaptive optimization technique that is influen...
107
Voted
TODAES
1998
15 years 2 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
113
Voted
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
149
Voted
PKDD
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper focuses on Active Learning with a limited number of queries; in application domains such as Numerical Engineering, the size of the training set might be limite...
126
Voted
SIROCCO
2008
15 years 4 months ago
2008
: A distributed system is scalable if the rate at which it completes its computation and communication tasks does not depend on its size. As an example, the scalability of a peer-t...