Sciweavers

8067 search results - page 417 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
PRDC
2006
IEEE
16 years 22 days ago
Detecting and Exploiting Symmetry in Discrete-state Markov Models
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
W. Douglas Obal II, Michael G. McQuinn, William H....
ISMDA
2004
Springer
16 years 2 days ago
Model Selection and Adaptation for Biochemical Pathways
In bioinformatics, biochemical signal pathways can be modeled by many differential equations. It is still an open problem how to fit the huge amount of parameters of the equations...
Rüdiger W. Brause
ICML
2008
IEEE
16 years 7 months ago
Multiple instance ranking
This paper introduces a novel machine learning model called multiple instance ranking (MIRank) that enables ranking to be performed in a multiple instance learning setting. The mo...
Charles Bergeron, Jed Zaretzki, Curt M. Breneman, ...
ICSE
2007
IEEE-ACM
16 years 6 months ago
On Accurate Automatic Verification of Publish-Subscribe Architectures
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
Luciano Baresi, Carlo Ghezzi, Luca Mottola
ICASSP
2008
IEEE
16 years 1 months ago
Iterative R-D optimization of H.264
In this paper, we apply the primal-dual decomposition and subgradient projection methods to solve the rate-distortion optimization problem with the constant bit rate constraint. T...
Cheolhong An, Truong Q. Nguyen