2273 search results - page 240 / 455 » On the Expressiveness and Complexity of ATL |
147
click to vote
ESANN
2003
15 years 8 months ago
2003
In this paper a special higher order neuron, the hypersphere neuron, is introduced. By embedding Euclidean space in a conformal space, hyperspheres can be expressed as vectors. The...
157
click to vote
NIPS
2004
15 years 8 months ago
2004
Complex objects can often be conveniently represented by finite sets of simpler components, such as images by sets of patches or texts by bags of words. We study the class of posi...
150
click to vote
SDL
2001
15 years 8 months ago
2001
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
150
click to vote
PSB
2004
15 years 8 months ago
2004
This paper introduces the first integrated algorithm designed to discover novel motifs in heterogeneous sequence data, which is comprised of coregulated genes from a single genome...
192
click to vote
IJCAI
2003
15 years 8 months ago
2003
We investigate the combination of answer set programming and qualitative optimization techniques. Answer set optimization programs (ASO programs) have two parts. The generating pr...