Sciweavers

6650 search results - page 222 / 1330
» models 2009
Sort
View
FM
2009
Springer
189views Formal Methods» more  FM 2009»
15 years 4 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
ICDAR
2009
IEEE
15 years 4 months ago
A Symbol Spotting Approach Based on the Vector Model and a Visual Vocabulary
This paper addresses the difficult problem of symbol spotting for graphic documents. We propose an approach where each graphic document is indexed as a text document by using the ...
Thi-Oanh Nguyen, Salvatore Tabbone, Alain Boucher
ICIC
2009
Springer
15 years 4 months ago
Inference of Differential Equation Models by Multi Expression Programming for Gene Regulatory Networks
This paper presents an evolutionary method for identifying the gene regulatory network from the observed time series data of gene expression using a system of ordinary differential...
Bin Yang, Yuehui Chen, Qingfang Meng
ICIP
2009
IEEE
15 years 4 months ago
Model based analysis for quantization parameter cascading in hierarchical video coding
Originally, the hierarchical coding structure was proposed to achieve temporal scalability. Soon after, it was realized that with a proper quantization parameter cascading (QPC) s...
Xiang Li, Peter Amon, Andreas Hutter, André...
ICIP
2009
IEEE
15 years 4 months ago
Component-based image coding using non-local means filtering and an autoregressive texture model
While noise is usually regarded as a problem of the image formation process, we observe that it is also frequently part of natural texture. In this paper, we present a concept for...
Johannes Ballé, Bastian Jurczyk, Aleksandar...