5864 search results - page 139 / 1173 » Can We Work around Numerical Methods |
142
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
126
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Recently, a convergence proof of stochastic search algorithms toward finite size Pareto set approximations of continuous multi-objective optimization problems has been given. The...
153
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
111
click to vote
SACRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Trivium is a stream cipher designed in 2005 by C. De Canni`ere and B. Preneel for the European project eSTREAM. It has successfully passed the first phase of the project and has ...
161
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
This paper compares two methods for object localization from contours: shape context and chamfer matching of templates. In the light of our experiments, we suggest improvements to...