4502 search results - page 525 / 901 » Regular Model Checking |
156
click to vote
DAGM
2010
Springer
15 years 5 months ago
2010
Springer
We propose a convex variational framework to compute high resolution images from a low resolution video. The image formation process is analyzed to provide to a well designed model...
180
click to vote
TSD
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we study the use of heterogeneous data for training of acoustic models. In initial experiments, a significant drop of accuracy has been observed on in-domain test s...
173
click to vote
JSCIC
2010
15 years 1 months ago
2010
Variational models for image segmentation have many applications, but can be slow to compute. Recently, globally convex segmentation models have been introduced which are very rel...
177
click to vote
BPM
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
179
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...