4502 search results - page 454 / 901 » Regular Model Checking |
172
click to vote
DFT
2007
IEEE
16 years 1 months ago
2007
IEEE
During semiconductor manufacturing, particles undesirably depose on the surface of the wafer causing “open” and “short” defects to interconnects. In this paper, a third ty...
206
click to vote
UML
2004
Springer
16 years 27 days ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
202
click to vote
3DIM
2003
IEEE
16 years 26 days ago
2003
IEEE
Due to their general and robust formulation deformable models offer a very appealing approach to 3D image segmentation. However there is a trade-off between model genericity, mode...
250
click to vote
NIPS
2004
15 years 9 months ago
2004
We consider the problem of geometrical surface reconstruction from one or several images using learned shape models. While humans can effortlessly retrieve 3D shape information, t...
211
click to vote
TREC
2003
15 years 9 months ago
2003
In this paper, we report our experiments in the TREC 2003 Genomics Track and the Robust Track. A common theme that we explored is the robustness of a basic language modeling retri...