Sciweavers

2163 search results - page 60 / 433
» On the Effectiveness of Relevance Profiling
Sort
View
POPL
2008
ACM
16 years 6 months ago
Relevance heuristics for program analysis
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
Kenneth L. McMillan
NIPS
2007
15 years 7 months ago
A New View of Automatic Relevance Determination
Automatic relevance determination (ARD) and the closely-related sparse Bayesian learning (SBL) framework are effective tools for pruning large numbers of irrelevant features leadi...
David P. Wipf, Srikantan S. Nagarajan
ICDE
2003
IEEE
157views Database» more  ICDE 2003»
16 years 7 months ago
Profile-Driven Cache Management
Modern distributed information systems cope with disconnection and limited bandwidth by using caches. In communicationconstrained situations, traditional demand-driven approaches ...
Mitch Cherniack, Eduardo F. Galvez, Michael J. Fra...
HICSS
2008
IEEE
118views Biometrics» more  HICSS 2008»
16 years 14 days ago
Towards a Methodology for Profiling Cyber Criminals
The progress of future e-business and ecommerce will depend on the ability of our legal institutions to protect general users from cyber crimes. While there has been substantial p...
Leonard Kwan, Pradeep Ray, Greg Stephens
ISBI
2007
IEEE
16 years 9 days ago
Shape Analysis Using Curvature-Based Descriptors and Profile Hidden Markov Models
This paper presents a new framework for shape modeling and analysis. A shape instance is described by a curvature-based shape descriptor. A Profile Hidden Markov Model (PHMM) is ...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas