2052 search results - page 361 / 411 » Direct Combination |
107
click to vote
BIRTHDAY
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
DSMML
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In recent years the problem of object recognition has received considerable attention from both the machine learning and computer vision communities. The key challenge of...
109
click to vote
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...
116
click to vote
ICCHP
2004
Springer
15 years 5 months ago
2004
Springer
Graphical information is very important in common information publishing. For visually impaired users this information is usually not accessible. Scalable Vector Graphics, a recomm...
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
Complex Network of Earthquakes Sumiyoshi Abe Institute of Physics, University of Tsukuba Ibaraki 3058571, Japan First, a brief discussion is made about a relevance of nonextensive...