Sciweavers

817 search results - page 136 / 164
» A Declarative Framework for Analysis and Optimization
Sort
View
ICML
2005
IEEE
14 years 8 months ago
Linear Asymmetric Classifier for cascade detectors
The detection of faces in images is fundamentally a rare event detection problem. Cascade classifiers provide an efficient computational solution, by leveraging the asymmetry in t...
Jianxin Wu, Matthew D. Mullin, James M. Rehg
ICSE
2009
IEEE-ACM
14 years 8 months ago
The road not taken: Estimating path execution frequency statically
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
Raymond P. L. Buse, Westley Weimer
ISBI
2002
IEEE
14 years 8 months ago
Joint estimation of cardiac kinematics and material parameters from noisy imaging data and uncertain mechanical model
There have been many efforts using image analysis algorithms to study cardiac kinematics, or using biomechanics strategies to study myocardial material properties. In this paper, ...
Huafeng Liu, Edward W. B. Lo, Pengcheng Shi
WWW
2004
ACM
14 years 8 months ago
E-learning personalization based on itineraries and long-term navigational behavior
In this paper we describe a practical framework for studying the navigational behavior of the users of an e-learning environment integrated in a virtual campus. The students navig...
Enric Mor, Julià Minguillón
POPL
2005
ACM
14 years 8 months ago
From sequential programs to multi-tier applications by program transformation
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
Matthias Neubauer, Peter Thiemann