Sciweavers

6762 search results - page 280 / 1353
» Multiple drafts model
Sort
View
ENVSOFT
2010
79views more  ENVSOFT 2010»
15 years 4 months ago
Interactive modelling for natural resource management
We present a modelling approach to rapidly assess the effect of management decisions on ecological problems and demonstrate its use in fishery management. Each stage of the approa...
F. Boschetti, A. de La Tour, E. A. Fulton, L. R. L...
BMCBI
2006
151views more  BMCBI 2006»
15 years 6 months ago
Modeling Sage data with a truncated gamma-Poisson model
Background: Serial Analysis of Gene Expressions (SAGE) produces gene expression measurements on a discrete scale, due to the finite number of molecules in the sample. This means t...
Helene H. Thygesen, Aeilko H. Zwinderman
CVPR
2003
IEEE
16 years 8 months ago
Switching Observation Models for Contour Tracking in Clutter
In Proc. of IEEE Conf. on CVPR'03, Madison, Wisconsin, 2003 We propose a generative model approach to contour tracking against non-stationary clutter and to coping with occlu...
Ying Wu, Gang Hua, Ting Yu
CALCO
2007
Springer
202views Mathematics» more  CALCO 2007»
16 years 25 days ago
Algebraic Models of Simultaneous Multithreaded and Multi-core Processors
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
Neal A. Harman
162
Voted
KBSE
2006
IEEE
16 years 20 days ago
Accurate Centralization for Applying Model Checking on Networked Applications
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
Cyrille Artho, Pierre-Loïc Garoche