2482 search results - page 293 / 497 » Analysis and Presentation of Results for Mobile Local Search |
197
click to vote
TC
1998
15 years 6 months ago
1998
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...
117
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
The aim of this article is to recall the applications of the topological asymptotic expansion to many image processing problems. We briefly review the topological asymptotic analy...
187
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
186
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
A genetic algorithm (GA) was developed to implement a maximum variation sampling technique to derive a subset of data from a large dataset of unstructured mammography reports. It ...
170
click to vote
AIEDAM
2007
2007
Biomimetic design through natural language analysis to facilitate cross-domain information retrieval
15 years 6 months ago
Biomimetic, or biologically inspired, design uses analogous biological phenomena to develop solutions for engineering problems. Several instances of biomimetic design result from ...