592 search results - page 94 / 119 » Analytical Tools for Natural Algorithms |
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
While mapping a streaming (such as multimedia or network packet processing) application onto a specified architecture, an important issue is to determine the input stream rates tha...
ANTSW
2006
Springer
15 years 5 months ago
2006
Springer
Ant colony optimisation is a constructive metaheuristic that successively builds solutions from problem-specific components. A parameterised model known as pheromone--an analogue o...
150
click to vote
ICRA
1995
IEEE
15 years 4 months ago
1995
IEEE
This paper describes and evaluates an efficient technique that allows the fast generation of 3D triangular meshes from range images avoiding optimization procedures. Such a tool ...
119
click to vote
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
AUSAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The much-publicized Netflix competition has put the spotlight on the application domain of collaborative filtering and has sparked interest in machine learning algorithms...