Sciweavers

21319 search results - page 3589 / 4264
» An Approach for Method Reengineering
Sort
View
DSSCV
2005
Springer
16 years 24 days ago
Histogram Statistics of Local Model-Relative Image Regions
Abstract. We present a novel approach to statistically characterize histograms of model-relative image regions. A multiscale model is used as an aperture to define image regions a...
Robert E. Broadhurst, Joshua Stough, Stephen M. Pi...
EUROPKI
2005
Springer
16 years 24 days ago
A Multipurpose Delegation Proxy for WWW Credentials
Credentials like passwords or cryptographic key pairs are a means to prove one’s identity to a web server. A practical problem in this context is the question of how a user can t...
Tobias Straub, Thilo-Alexander Ginkel, Johannes Bu...
FORMATS
2005
Springer
16 years 24 days ago
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
Thomas Chatain, Claude Jard
FORMATS
2005
Springer
16 years 24 days ago
Quantifying Similarities Between Timed Systems
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...
Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Pr...
GCB
2005
Springer
117views Biometrics» more  GCB 2005»
16 years 24 days ago
Generation of 3D templates of active sites of proteins with rigid prosthetic groups
Motivation: With the increasing availability of protein structures, the generation of biologically meaningful 3D patterns from the simultaneous alignment of several protein struct...
Jean-Christophe Nebel
« Prev « First page 3589 / 4264 Last » Next »