8828 search results - page 218 / 1766 » Formal methods in practice |
152
click to vote
IWSOC
2005
IEEE
15 years 10 months ago
2005
IEEE
Performance estimation of processor is important to select the right processor for an application. Poorly chosen processors can either under perform very badly or over perform but...
155
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
As it has been noted several times in literature, the difficult part of autocalibration efforts resides in the structural non-linearity of the search for the plane at infinity. I...
132
Voted
HOTOS
2007
IEEE
15 years 9 months ago
2007
IEEE
Given that the majority of future processors will contain an abundance of execution cores, redundant execution can offer a promising method for increasing the availability and res...
152
Voted
EACL
2006
ACL Anthology
15 years 6 months ago
2006
ACL Anthology
In recent years tree kernels have been proposed for the automatic learning of natural language applications. Unfortunately, they show (a) an inherent super linear complexity and (...
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper offers practical design-guidelines for developing efficient genetic algorithms (GAs) to successfully solve realworld problems. As an important design component, a prac...