792 search results - page 59 / 159 » Constrained Ramsey Numbers |
122
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we propose a 3D reconstruction algorithm by combining shape from silhouette with stereo. Visual hull of the object is first derived from multi-view silhouette image...
100
Voted
CHES
2007
Springer
15 years 6 months ago
2007
Springer
This papers introduces several binary scalar multiplication algorithms with applications to cryptography. Remarkably, the proposed algorithms regularly repeat the same pattern when...
IVA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Virtual agents are traditionally constrained in their embodiment, as they are restricted to one form of body. We propose allowing them to change their embodiment in order...
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we propose a cultural algorithm, where different knowledge sources modify the variation operator of a differential evolution algorithm. Differential evolution is u...