3742 search results - page 270 / 749 » On the Use of Formal Techniques for Validation |
199
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
We have developed a system architecture, measuring and modeling techniques, and algorithms for on-line power and energy optimization and thermal management. The starting point for...
186
click to vote
GECCO
2004
Springer
16 years 8 hour ago
2004
Springer
This paper presents an improved version of a simple evolution strategy (SES) to solve global nonlinear optimization problems. As its previous version, the approach does not require...
171
click to vote
FGR
2002
IEEE
15 years 11 months ago
2002
IEEE
Even though numerous techniques for face recognition have been explored over the years, most research has primarily focussed on identification from full frontal/profile facial ima...
190
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose a novel Multiple Instance Learning (MIL) framework to perform target localization from image sequences. The proposed approach consists of a softmax logistic re...
187
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, we propose a new method to integrate multiview normal fields using level sets. In contrast with conventional normal integration algorithms used in shape from shadin...