819 search results - page 126 / 164 » Using Assumptions to Distribute CTL Model Checking |
88
Voted
MLDM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Regression models are often required for controlling production processes by predicting parameter values. However, the implicit assumption of standard regression techniqu...
87
Voted
ICML
2010
IEEE
15 years 1 months ago
2010
IEEE
We develop the distance dependent Chinese restaurant process (CRP), a flexible class of distributions over partitions that allows for nonexchangeability. This class can be used to...
101
click to vote
CORR
2010
Springer
15 years 20 days ago
2010
Springer
We propose a natural generalisation of asynchronous bounded delay (ABD) network models. The commonly used ABD models assume a known bound on message delay. This assumption is ofte...
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper presents a systematic analysis of the motion of microscale structures actuated by flagellated bacteria. We perform the study both experimentally and theoretically. ...
204
Voted
POPL
2005
ACM
16 years 27 days ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...