Sciweavers

498 search results - page 24 / 100
» Automatic Detection of Structural Changes in Data Warehouses
Sort
View
JIB
2006
106views more  JIB 2006»
14 years 9 months ago
A structural keystone for drug design
3D-structures of proteins and potential ligands are the cornerstones of rational drug design. The first brick to build upon is selecting a protein target and finding out whether b...
Kristian Rother, Mathias Dunkel, Elke Michalsky, S...
MICCAI
2004
Springer
15 years 10 months ago
A Method to Monitor Local Changes in MR Signal Intensity in Articular Cartilage: A Potential Marker for Cartilage Degeneration i
Osteoarthritis (OA) involves changes in the composition and ultimately the loss of cartilage from articulating joints. MRI has the ability to non-invasively probe the compositional...
Josephine H. Naish, Graham Vincent, Mike Bowes, Ma...
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
15 years 3 months ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
64
Voted
SAC
2010
ACM
15 years 2 months ago
Data stream anomaly detection through principal subspace tracking
We consider the problem of anomaly detection in multiple co-evolving data streams. In this paper, we introduce FRAHST (Fast Rank-Adaptive row-Householder Subspace Tracking). It au...
Pedro Henriques dos Santos Teixeira, Ruy Luiz Mili...
ICPR
2008
IEEE
15 years 4 months ago
On edge structure based adaptive observation model for facial feature tracking
Facial feature tracking is a crucial and challenging task in computer vision. Recently online-learning methods have become increasingly popular on account of their strong ability ...
Xiaoyan Wang, Yangsheng Wang, Xuetao Feng, Mingcai...