526 search results - page 68 / 106 » Towards the Verifying Compiler |
112
click to vote
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
Anonymity is a security property of paramount importance, as we move steadily towards a wired, online community. Its import touches upon subjects as different as eGovernance, eBusi...
IJBRA
2007
14 years 9 months ago
2007
: The model for protein folding (in silico) simulation is presented. Three steps have been implemented: • early stage folding based on the backbone conformation • hydrophobic c...
102
click to vote
SUTC
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—Camera networks are used for a variety of applications including surveillance, traffic monitoring or elderly care. The shift from analog towards fully digitized systems...
ICARCV
2008
IEEE
15 years 4 months ago
2008
IEEE
—This paper discusses a vision problem for the detection of lift operation panel which is a plane subject to deformation due to viewing angle change. The key problem in this proj...
130
click to vote
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Particle Swarm Optimisation (PSO) uses a population of particles that fly over the fitness landscape in search of an optimal solution. The particles are controlled by forces tha...