2905 search results - page 191 / 581 » Formal Memetic Algorithms |
162
Voted
ICSE
1994
IEEE-ACM
15 years 10 months ago
1994
IEEE-ACM
Software libraries are repositories which contain software components; as such, they represent a precious resource for the software engineer. As software libraries grow in size, it...
167
Voted
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
197
click to vote
FOCS
2000
IEEE
15 years 10 months ago
2000
IEEE
We formalize a notion of topological simplification within the framework of a filtration, which is the history of a growing complex. We classify a topological change that happens ...
154
Voted
AIPS
2003
15 years 8 months ago
2003
We develop a hierarchical approach to planning for partially observable Markov decision processes (POMDPs) in which a policy is represented as a hierarchical finite-state control...
179
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this report, we describe three encodings of the multiple constant multiplication (MCM) problem to pseudo-boolean satisfiability (PBS), and introduce an algorithm to solve the M...