1389 search results - page 83 / 278 » Definability as hypercomputational effect |
KDD
2004
ACM
14 years 9 months ago
2004
ACM
Existing data mining algorithms on graphs look for nodes satisfying specific properties, such as specific notions of structural similarity or specific measures of link-based impor...
EDBT
2004
ACM
14 years 9 months ago
2004
ACM
Despite the existence of obstacles in many database applications, traditional spatial query processing utilizes the Euclidean distance metric assuming that points in space are dire...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that rela...
ACG
2009
Springer
14 years 3 months ago
2009
Springer
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faith...
XPU
2009
Springer
14 years 3 months ago
2009
Springer
In the last two decades several models for evaluating software process capability have been defined and became more and more popular. The application of such models, and in particu...