893 search results - page 41 / 179 » Descent Theory for Schemes |
SYNTHESE
2008
14 years 11 months ago
2008
All paradoxes of self-reference seem to share some structural features. Russell in 1908 and especially Priest nowadays have advanced structural descriptions that successfully ident...
BIRTHDAY
2010
Springer
14 years 9 months ago
2010
Springer
Yuri Gurevich made many varied and deep contributions to logic for computer science. Logic provides also the theoretical foundation of database systems. Hence, it is almost unavoid...
AISC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
115
click to vote
KDD
2008
ACM
16 years 7 days ago
2008
ACM
Transactional data are ubiquitous. Several methods, including frequent itemsets mining and co-clustering, have been proposed to analyze transactional databases. In this work, we p...
107
click to vote
JNW
2006
14 years 11 months ago
2006
In this study, we propose a novel mobile tracking method based on Multi-Criteria Decision Making (MCDM), in which uncertain parameters such as Pilot Signal Strength (PSS), the dist...