1536 search results - page 216 / 308 » The Underlying Logic of Hoare Logic |
258
click to vote
ICDE
2004
IEEE
16 years 7 months ago
2004
IEEE
The indexing technique commonly used for long strings, such as genomes, is the suffix tree, which is based on a vertical (intra-path) compaction of the underlying trie structure. ...
153
click to vote
VIS
2007
IEEE
16 years 7 months ago
2007
IEEE
Direct volume rendering techniques map volumetric attributes (e.g., density, gradient magnitude, etc.) to visual styles. Commonly this mapping is specified by a transfer function. ...
237
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
XPORT is a profile-driven distributed data dissemination system that supports an extensible set of data types, profiles types, and optimization metrics. XPORT efficiently implemen...
162
click to vote
IPPS
2009
IEEE
16 years 28 days ago
2009
IEEE
To address the problem of performing long time simulations of biochemical pathways under in vivo cellular conditions, we have developed a lattice-based, reaction-diffusion model t...
126
click to vote
DEXAW
2007
IEEE
16 years 19 days ago
2007
IEEE
The current effort to extend the power of information systems by making use of the semantics associated with terms and structures has resulted in a need to establish correspondenc...