3481 search results - page 502 / 697 » Exploration in Relational Worlds |
PERCOM
2006
ACM
14 years 9 months ago
2006
ACM
This paper investigates fundamental properties of Marker-based Vision (MBV) systems. We present a theoretical analysis of the performance of basic tag designs which is extended th...
ICS
2010
Tsinghua U.
14 years 7 months ago
2010
Tsinghua U.
: We initiate the study of local, sublinear time algorithms for finding vertices with extreme topological properties -- such as high degree or clustering coefficient -- in large so...
ECIR
2009
Springer
14 years 6 months ago
2009
Springer
In this paper we address the task of finding topically relevant email messages in public discussion lists. We make two important observations. First, email messages are not isolat...
ICCAD
2002
IEEE
14 years 6 months ago
2002
IEEE
This paper presents an in-depth study of the theory and algorithms for the SPFD-based (Set of Pairs of Functions to be Distinguished) rewiring, and explores the flexibility in the...
TLDI
2010
ACM
14 years 6 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...