13603 search results - page 404 / 2721 » On the Computational Complexity of Cut-Reduction |
193
click to vote
IJCNN
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— Meta-learning helps us find solutions to computational intelligence (CI) challenges in automated way. Metalearning algorithm presented in this paper is universal and m...
180
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
Ensuring the semantic and topological correctness of spatial data is an important requirement in geographical information systems and spatial database systems in order to preserve ...
199
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
— In recent years, many people have been trying to develop some applications to information processing by exploiting oscillatory phenomena in neural networks. Bifurcation and sta...
210
click to vote
SG
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present a method to generate glyphs which convey complex information in graphical form. A glyph has a linear geometry which is specified using geometric operations, e...
200
click to vote
ICALP
2009
Springer
16 years 8 months ago
2009
Springer
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...