Sciweavers

9425 search results - page 66 / 1885
» Some Notes on Models and Modelling
Sort
View
VMCAI
2010
Springer
15 years 7 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
ICCS
2004
Springer
15 years 3 months ago
Solving Differential Equations in Developmental Models of Multicellular Structures Expressed Using L-systems
Mathematical modeling of growing multicellular structures creates the problem of solving systems of equations in which not only the values of variables, but the equations themselv...
Pavol Federl, Przemyslaw Prusinkiewicz
ECML
2006
Springer
15 years 1 months ago
Learning Process Models with Missing Data
Abstract. In this paper, we review the task of inductive process modeling, which uses domain knowledge to compose explanatory models of continuous dynamic systems. Next we discuss ...
Will Bridewell, Pat Langley, Steve Racunas, Stuart...
ICASSP
2011
IEEE
14 years 1 months ago
Optimal structure of memory models for lossless compression of binary image contours
In this paper we study various chain codes, which are representations of binary image contours, in terms of their ability to compress in the best way the contour information using...
Ioan Tabus, Septimia Sarbu
JMM2
2008
102views more  JMM2 2008»
14 years 9 months ago
Logical Mapping: An Intermedia Synchronization Model for Multimedia Distributed Systems
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...
Saul Pomares Hernandez, Luis A. Morales Rosales, J...