Sciweavers

2796 search results - page 182 / 560
» A time structure based software reliability model
Sort
View
144
Voted
IVC
2002
142views more  IVC 2002»
15 years 3 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
142
Voted
EMSOFT
2007
Springer
15 years 9 months 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
121
Voted
SEFM
2005
IEEE
15 years 9 months 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
140
Voted
AAAI
2010
15 years 3 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...
130
Voted
CEC
2009
IEEE
15 years 8 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