15416 search results - page 23 / 3084 » Embeddings of Computable Structures |
103
Voted
OPODIS
2008
15 years 2 months ago
2008
Kleinberg [17] proposed in 2000 the first random graph model achieving to reproduce small world navigability, i.e. the ability to greedily discover polylogarithmic routes between a...
98
Voted
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
We present a subspace learning method, called Local Discriminant Embedding with Tensor representation (LDET), that addresses simultaneously the generalization and data representat...
107
click to vote
VLSID
2003
IEEE
16 years 1 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
188
Voted
SIGMOD
2005
ACM
16 years 25 days ago
2005
ACM
A common problem in many types of databases is retrieving the most similar matches to a query object. Finding those matches in a large database can be too slow to be practical, es...
118
Voted
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
Energy consumption is a major concern in embedded computing systems. Several studies have shown that cache memories account for about 40% or more of the total energy consumed in t...