3742 search results - page 398 / 749 » On the Use of Formal Techniques for Validation |
180
click to vote
AHS
2006
IEEE
16 years 25 days ago
2006
IEEE
Self-reconfigurable adaptive systems have the possibility of adapting their own hardware configuration. This feature provides enhanced performance and flexibility, reflected i...
177
click to vote
GECCO
2004
Springer
16 years 4 days ago
2004
Springer
A reduced model technique based on a reduced number of numerical simulations at a subset of operating conditions for a perfectly stirred reactor is developed in order to increase t...
191
click to vote
ICDAR
2003
IEEE
16 years 1 days ago
2003
IEEE
Current approaches to script identification rely on hand-selected features and often require processing a significant part of the document to achieve reliable identification. We p...
169
Voted
ICIP
2003
IEEE
16 years 1 days ago
2003
IEEE
Regularization constraints are necessary in inverse problems such as image restoration, optical flow computation or shape from shading to avoid the singularities in the solution....
175
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. We consider the use of a cluster system for managing autonomous databases. In order to improve the performance of read-only queries, we strive to exploit user requirement...