Sciweavers

1507 search results - page 182 / 302
» Separating Complexity Classes Using Structural Properties
Sort
View
ICCD
2006
IEEE
97views Hardware» more  ICCD 2006»
14 years 7 months ago
Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...
Jin-Yi Wang, Yen-Shiang Shue, T. N. Vijaykumar, Sa...
JCB
2006
144views more  JCB 2006»
13 years 10 months ago
Modeling Virus Self-Assembly Pathways: Avoiding Dynamics Using Geometric Constraint Decomposition
We develop a model for elucidating the assembly pathways by which an icosahedral viral shell forms from 60 identical constituent protein monomers. This poorly understood process a...
Meera Sitharam, Mavis Agbandje-Mckenna
BMCBI
2011
13 years 5 months ago
Bio: : Phylo - phyloinformatic analysis using Perl
Background: Phyloinformatic analyses involve large amounts of data and metadata of complex structure. Collecting, processing, analyzing, visualizing and summarizing these data and...
Rutger A. Vos, Jason Caravas, Klaas Hartmann, Mark...
IVC
2007
130views more  IVC 2007»
13 years 10 months ago
Attribute-space connectivity and connected filters
In this paper connected operators from mathematical morphology are extended to a wider class of operators, which are based on connectivities in higher-dimensional spaces, similar ...
Michael H. F. Wilkinson
ICPR
2008
IEEE
14 years 11 months ago
Wavelet-based salient points with scale information for classification
The calculation of local features at points of interest is a vital part of many current image retrieval and object detection systems. The wavelet-based interest point detector by ...
Alexandra Teynor, Hans Burkhardt