Sciweavers

6799 search results - page 355 / 1360
» The Tao of Modeling Spaces
Sort
View
ICIAP
2001
Springer
16 years 7 months ago
Clustering Context Properties of Wavelet Coefficients in Automatic Modelling and Image Coding
An algorithm for automatic modelling of wavelet coefficients from context properties is presented. The algorithm is used to implement an image coder, in order to demonstrate its i...
Joonas Lehtinen, Juha Kivijärvi
ISSS
2000
IEEE
94views Hardware» more  ISSS 2000»
15 years 11 months ago
A Transformational Approach to Constraint Relaxation of a Time-driven Simulation Model
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
Marek Jersak, Ying Cai, Dirk Ziegenbein, Rolf Erns...
EUROCAST
2007
Springer
131views Hardware» more  EUROCAST 2007»
15 years 10 months ago
Efficient Model Checking of Applications with Input/Output
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
Cyrille Artho, Boris Zweimüller, Armin Biere,...
NAACL
2007
15 years 8 months ago
Comparing User Simulation Models For Dialog Strategy Learning
This paper explores what kind of user simulation model is suitable for developing a training corpus for using Markov Decision Processes (MDPs) to automatically learn dialog strate...
Hua Ai, Joel R. Tetreault, Diane J. Litman
SODA
2004
ACM
74views Algorithms» more  SODA 2004»
15 years 8 months ago
Torpid mixing of simulated tempering on the Potts model
Simulated tempering and swapping are two families of sampling algorithms in which a parameter representing temperature varies during the simulation. The hope is that this will ove...
Nayantara Bhatnagar, Dana Randall