Sciweavers

1096 search results - page 196 / 220
» Multiple Object Class Detection with a Generative Model
Sort
View
ACCV
2006
Springer
15 years 4 months ago
Learning Multi-category Classification in Bayesian Framework
Abstract. We propose an algorithm for Sparse Bayesian Classification for multi-class problems using Automatic Relevance Determination(ARD). Unlike other approaches which treat mult...
Atul Kanaujia, Dimitris N. Metaxas
VMCAI
2010
Springer
15 years 11 months ago
Building a Calculus of Data Structures
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thom...
GMP
2006
IEEE
127views Solid Modeling» more  GMP 2006»
15 years 8 months ago
Finding All Undercut-Free Parting Directions for Extrusions
For molding and casting processes, geometries that have undercut-free parting directions (UFPDs) are preferred for manufacturing. Identifying all UFPDs for arbitrary geometries at ...
Xiaorui Chen, Sara McMains
SIGMETRICS
2011
ACM
178views Hardware» more  SIGMETRICS 2011»
14 years 5 months ago
Soft error benchmarking of L2 caches with PARMA
The amount of charge stored in an SRAM cell shrinks rapidly with each technology generation thus increasingly exposing caches to soft errors. Benchmarking the FIT rate of caches d...
Jinho Suh, Mehrtash Manoochehri, Murali Annavaram,...
BMCBI
2006
94views more  BMCBI 2006»
15 years 2 months ago
Novel knowledge-based mean force potential at the profile level
Background: The development and testing of functions for the modeling of protein energetics is an important part of current research aimed at understanding protein structure and f...
Qiwen Dong, Xiaolong Wang, Lei Lin