8512 search results - page 48 / 1703 » Computing Theory With Relevance |
CIE
2005
Springer
15 years 8 months ago
2005
Springer
99
Voted
WDAG
2001
Springer
15 years 7 months ago
2001
Springer
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...
143
Voted
EC
1998
15 years 2 months ago
1998
L. M. Adleman launched the field of DNA computing with a demonstration in 1994 that strands of DNA could be used to solve the Hamiltonian path problem for a simple graph. He also...
115
Voted
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
135
click to vote
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
Closing the semantic gap in content based image retrieval (CBIR) basically requires the knowledge of the user's intention which is usually translated into a sequence of quest...