5718 search results - page 302 / 1144 » Modeling Rule Precision |
146
click to vote
CONCUR
2004
Springer
16 years 2 days ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
163
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
Precise teleoperation of deztrous robotic hands by hand masters requires an accurate human hand model. A kinematic model of a human index finger is developed as an example for hum...
143
click to vote
DAGSTUHL
2010
15 years 8 months ago
2010
Modeling complex organs, such as the human heart, requires a detailed understanding of the geometric and mechanical properties of that organ. Similarly, the model is only as accur...
166
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
A Bayesian Network based mathematical model has been used for modelling Extreme Programming software development process. The model is capable of predicting the expected finish ti...
169
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
We describe a method for applying parsimonious language models to re-estimate the term probabilities assigned by relevance models. We apply our method to six topic sets from test ...