1638 search results - page 78 / 328 » Properties of input-consuming derivations |
CORR
2004
Springer
14 years 9 months ago
2004
Springer
Mapping the Internet generally consists in sampling the network from a limited set of sources by using traceroute-like probes. This methodology, akin to the merging of different s...
123
click to vote
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a new definition of a spatial entropy mainly based on the Markov Random Field (MRF) properties. Starting with the study of the entropy proposed in [1] for the ...
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we incorporate dipolar potential fields used for nonholonomic navigation into a novel potential function designed for multi – robot navigation. The derived naviga...
CSFW
2009
IEEE
15 years 1 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
BMCBI
2007
14 years 10 months ago
2007
Background: Vaccine development in the post-genomic era often begins with the in silico screening of genome information, with the most probable protective antigens being predicted...