Sciweavers

498 search results - page 24 / 100
» Automatic Detection of Structural Changes in Data Warehouses
Sort
View
JIB
2006
106views more  JIB 2006»
13 years 7 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
14 years 8 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»
14 years 1 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
SAC
2010
ACM
14 years 14 days 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
14 years 2 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...