6943 search results - page 1045 / 1389 » Representations for evolutionary algorithms |
156
click to vote
MLMI
2005
Springer
16 years 7 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...
180
click to vote
SAT
2005
Springer
16 years 7 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...
153
click to vote
SLSFS
2005
Springer
16 years 7 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...
190
click to vote
WG
2005
Springer
16 years 7 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...
170
click to vote
AUSAI
2005
Springer
16 years 7 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...