2488 search results - page 376 / 498 » An improvement in formal verification |
78
Voted
AUSAI
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we introduce an experimental approach to the design, analysis and implementation of market mechanisms based on double auction. We define a formal market model that ...
102
click to vote
CPAIOR
2009
Springer
15 years 8 months ago
2009
Springer
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...
106
click to vote
DAGM
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we address the problem of image sequence segmentation with dynamical shape priors. While existing formulations are typically based on hard decisions, we propose a fo...
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Given two classifications, or lightweight ontologies, we compute the minimal mapping, namely the subset of all possible correspondences, called mapping elements, between them such ...
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
We propose a method for easily developing efficient programs for finding optimal sequences, such as the maximum weighted sequence of a set of feasible ones. We formalize a way to ...