9425 search results - page 1594 / 1885 » Some Notes on Models and Modelling |
133
Voted
CNL
2009
15 years 5 months ago
2009
Logic-based controlled natural languages usually provide some facility for compositional representation, minimally including sentence level coordination and sometimes subordination...
131
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
125
Voted
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Quality of data plays a very important role in any scientific research. In this paper we present some of the challenges that we face in managing and maintaining data quality for a...
152
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
We show how and why using genetic operators that are applied with probabilities that depend on the fitness rank of a genotype or phenotype offers a robust alternative to the Sim...
133
Voted
ICMCS
2010
IEEE
15 years 5 months ago
2010
IEEE
To improve upon the initial disparity estimates stemming from a local correspondence method, a subsequent refinement step is commonly employed. The performance of the stereo match...