Sciweavers

29143 search results - page 363 / 5829
» A Sortation System Model
Sort
View
CMSB
2009
Springer
16 years 1 months ago
Computing Reachable States for Nonlinear Biological Models
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
Thao Dang, Colas Le Guernic, Oded Maler
SCALESPACE
2007
Springer
16 years 24 days ago
Modeling Foveal Vision
A geometric model is proposed for an artificial foveal vision system, and its plausibility in the context of biological vision is explored. The model is based on an isotropic, sca...
Luc Florack
ISCIS
2004
Springer
16 years 1 days ago
Modelling Mobility with PEPA Nets
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
Jane Hillston, Marina Ribaudo
ICDAR
2003
IEEE
15 years 12 months ago
Understanding Document Analysis and Understanding (through Modeling)
We turn to the viewpoint of users of a DAU system. Out of the view of users we sketch a picture of “Document Analysis and Understanding” (DAU), only a simple division of DAU i...
Bertin Klein, Stefan Agne, Andrew D. Bagdanov
174
Voted
IPPS
2002
IEEE
15 years 11 months ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders