5608 search results - page 519 / 1122 » Structure description tools |
167
click to vote
CSMR
2005
IEEE
16 years 18 days ago
2005
IEEE
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
193
click to vote
ISSTA
2010
ACM
15 years 9 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
204
click to vote
MASCOTS
2001
15 years 8 months ago
2001
Effective engineering of the Internet is predicated upon a detailed understanding of issues such as the large-scale structure of its underlying physical topology, the manner in wh...
163
click to vote
LRE
2002
15 years 6 months ago
2002
Users need more sophisticated tools to handle the growing number of image-based documents available in databases. In this paper, we present a system devoted to the editing and bro...
269
click to vote
IV
2010
IEEE
15 years 5 months ago
2010
IEEE
—Molecular visualization is one of the cornerstones in structural bioinformatics and related fields. Today, rasterization is typically used for the interactive display of molecu...