6943 search results - page 1045 / 1389 » Representations for evolutionary algorithms |
171
click to vote
MLMI
2005
Springer
16 years 28 days ago
2005
Springer
In this paper, we present a multimodal discourse ontology that serves as a knowledge representation and annotation framework for the discourse understanding component of an artifi...
205
click to vote
SAT
2005
Springer
16 years 28 days ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
167
click to vote
SLSFS
2005
Springer
16 years 28 days ago
2005
Springer
We present a method which uses example pairs of equal or unequal class labels to select a subspace with near optimal metric properties in a kernel-induced Hilbert space. A represen...
207
click to vote
WG
2005
Springer
16 years 28 days ago
2005
Springer
Partitive set families are families of sets that can be quite large, but have a compact, recursive representation in the form of a tree. This tree is a common generalization of PQ...
199
click to vote
AUSAI
2005
Springer
16 years 28 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...