Sciweavers

7554 search results - page 926 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
IFIP13
2004
15 years 8 months ago
Formal Verification and Validation of Interactive Systems Specifications
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
Yamine Aït Ameur, Benoit Breholée, Pat...
SIP
2001
15 years 8 months ago
Estimation of optical flow for large displacements
In this paper we present a new method to estimate optical flow for large displacements. It is based on prediction of global flow field parameters, performs better than multiresolu...
Torsten Radtke, Horst Salzwedel
IJCAI
2003
15 years 8 months ago
When Evolving Populations is Better than Coevolving Individuals: The Blind Mice Problem
This paper is about the evolutionary design of multi-agent systems. An important part of recent research in this domain has been focusing on collaborative revolutionary methods. W...
Thomas Miconi
WSCG
2003
174views more  WSCG 2003»
15 years 8 months ago
An Efficient Algorithm for Codebook Design in Transform Vector Quantization
In this paper, a new wavelet-domain codebook design algorithm is proposed for image coding. The method utilizes mean-squared error and variance based selection schemes for good cl...
Momotaz Begum, Nurun Nahar, Kaneez Fatimah, M. K. ...
CORR
2006
Springer
91views Education» more  CORR 2006»
15 years 7 months ago
Universal Codes as a Basis for Time Series Testing
We suggest a new approach to hypothesis testing for ergodic and stationary processes. In contrast to standard methods, the suggested approach gives a possibility to make tests, ba...
Boris Ryabko, Jaakko Astola