6239 search results - page 177 / 1248 » From Zinc to Design Model |
204
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
We introduce a 3-D parametric active contour algorithm for the shape estimation of DNA molecules from stereo cryo-electron micrographs. We consider a 3-D filament (consisting of a...
220
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
Metasearch engine, Comparison-shopping and Deep Web crawling applications need to extract search result records enwrapped in result pages returned from search engines in response ...
187
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
187
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...
168
click to vote
ICDM
2005
IEEE
16 years 20 days ago
2005
IEEE
In the information age, data is pervasive. In some applications, data explosion is a significant phenomenon. The massive data volume poses challenges to both human users and comp...