Sciweavers

2796 search results - page 182 / 560
» A time structure based software reliability model
Sort
View
IVC
2002
142views more  IVC 2002»
15 years 6 months ago
Real-time tracking of complex structures with on-line camera calibration
This paper presents a novel three-dimensional model-based tracking system which has been incorporated into a visual servoing system. The tracking system combines modern graphical ...
Tom Drummond, Roberto Cipolla
EMSOFT
2007
Springer
16 years 20 days ago
The algebra of connectors: structuring interaction in BIP
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
Simon Bliudze, Joseph Sifakis
SEFM
2005
IEEE
16 years 2 days ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
AAAI
2010
15 years 6 months ago
Fast Conditional Density Estimation for Quantitative Structure-Activity Relationships
Many methods for quantitative structure-activity relationships (QSARs) deliver point estimates only, without quantifying the uncertainty inherent in the prediction. One way to qua...
Fabian Buchwald, Tobias Girschick, Eibe Frank, Ste...
CEC
2009
IEEE
15 years 11 months ago
A novel EDAs based method for HP model protein folding
— The protein structure prediction (PSP) problem is one of the most important problems in computational biology. This paper proposes a novel Estimation of Distribution Algorithms...
Benhui Chen, Long Li, Jinglu Hu