Sciweavers

9425 search results - page 187 / 1885
» Some Notes on Models and Modelling
Sort
View
ICIP
2004
IEEE
15 years 12 months ago
A partial differential equation approach to image zoom
We propose a new model for zooming digital image. This model, driven by a partial differential equation, will balance between linear zooming on homogenous zones to anisotropic dif...
Abdelmounim Belahmidi, Frederic Guichard
80
Voted
TGC
2007
Springer
15 years 4 months ago
Computational Soundness of Equational Theories (Tutorial)
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
Steve Kremer
VLDB
1991
ACM
190views Database» more  VLDB 1991»
15 years 1 months ago
Algebraic Properties of Bag Data Types
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
Joseph Albert
WSC
2008
15 years 17 days ago
Simulation down under
This paper provides a brief literature review of the current applications of simulation in Australia. The paper identifies areas that use simulation modeling and dynamic tools for...
Matthew P. J. Pepper, Trevor A. Spedding
WSC
2004
14 years 11 months ago
Bayesian Methods for Discrete Event Simulation
Bayesian methods are now used in a variety of ways in discrete-event simulation. Applications include input modeling, response surface modeling, uncertainty analysis, and experime...
Stephen E. Chick