1960 search results - page 217 / 392 » The Logic of Large Enough |
102
Voted
CADE
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
198
Voted
SIGMOD
2006
ACM
16 years 24 days ago
2006
ACM
We present and analyze an algorithm for equivalent rewriting of XQuery queries using XQuery views, which is complete for a large class of XQueries featuring nested FLWR blocks, XM...
107
Voted
PODS
2007
ACM
16 years 24 days ago
2007
ACM
Many applications today need to manage large data sets with uncertainties. In this paper we describe the foundations of managing data where the uncertainties are quantified as pro...
96
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
With more and more large networks becoming available, mining and querying such networks are increasingly important tasks which are not being supported by database models and query...
IFSA
2007
Springer
15 years 6 months ago
2007
Springer
The use of unsupervised fuzzy learning methods produces a large number of alternative classifications. This paper presents and analyzes a series of criteria to select the most sui...