4228 search results - page 292 / 846 » Models and Methods in Comparative Genomics |
169
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
158
click to vote
3DIM
2001
IEEE
15 years 8 months ago
2001
IEEE
We present a complete data acquisition and processing chain for the reliable inspection of industrial parts considering anisotropic noise. Data acquisition is performed with a str...
126
click to vote
RTS
2008
15 years 4 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
160
Voted
AAAI
2011
14 years 5 months ago
2011
Important ecological phenomena are often observed indirectly. Consequently, probabilistic latent variable models provide an important tool, because they can include explicit model...
152
Voted
CSDA
2010
15 years 5 months ago
2010
We propose a model for a point-referenced spatially correlated ordered categorical response and methodology for estimation of model parameters. Models and methods for spatially co...