Sciweavers

1162 search results - page 124 / 233
» An Integrated Approach to Discovery in Complex Information S...
Sort
View
DEBS
2008
ACM
15 years 7 months ago
An adaptive approach for ensuring reliability in event based middleware
In this effort we tackle the important issue of providing Quality of Service (QoS) guarantees to subscribers, when routing event notifications in a publish-subscribe domain. In ...
Shruti P. Mahambre, Umesh Bellur
BMCBI
2010
131views more  BMCBI 2010»
15 years 1 months ago
Dynamics based alignment of proteins: an alternative approach to quantify dynamic similarity
Background: The dynamic motions of many proteins are central to their function. It therefore follows that the dynamic requirements of a protein are evolutionary constrained. In or...
Márton Münz, Rune B. Lyngsø, Jo...
ACCV
2009
Springer
16 years 1 months ago
Highly-Automatic MI Based Multiple 2D/3D Image Registration Using Self-initialized Geodesic Feature Correspondences
Abstract. Intensity based registration methods, such as the mutual information (MI), do not commonly consider the spatial geometric information and the initial correspondences are ...
Hongwei Zheng, Ioan Cleju, Dietmar Saupe
ICML
2005
IEEE
16 years 7 months ago
Computational aspects of Bayesian partition models
The conditional distribution of a discrete variable y, given another discrete variable x, is often specified by assigning one multinomial distribution to each state of x. The cost...
Mikko Koivisto, Kismat Sood
FASE
2005
Springer
15 years 12 months ago
Checking Memory Safety with Blast
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rup...