14779 search results - page 62 / 2956 » On Ultrametric Algorithmic Information |
103
click to vote
DIALM
2005
ACM
15 years 1 months ago
2005
ACM
We investigate to what extent flooding and routing is possible if the graph is allowed to change unpredictably at each time step. We study what minimal requirements are necessary...
SPIRE
2000
Springer
15 years 3 months ago
2000
Springer
Fast rotation invariant filtering algorithms for are presented for speeding
116
click to vote
CORR
2012
Springer
13 years 7 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
129
click to vote
BMCBI
2010
14 years 6 months ago
2010
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...
GIS
2006
ACM
14 years 11 months ago
2006
ACM
This paper tackles a major privacy threat in current location-based services where users have to report their exact locations to the database server in order to obtain their desir...