4036 search results - page 566 / 808 » Formal Methods |
160
click to vote
DAGM
2009
Springer
16 years 1 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...
157
click to vote
DALT
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we investigate the multiagent planning problem in the presence of cooperative actions and agents, which have their own goals and are willing to cooperate. To this en...
145
click to vote
FC
2009
Springer
16 years 1 months ago
2009
Springer
End-to-end voting schemes have shown considerable promise for allowing voters to verify that tallies are accurate. At the same time, the threat of coercion has generally been consi...
153
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
183
click to vote
IWCMC
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents the application of cognitive algorithm for a stream diffusion in home theatre “5+1 audio” surround applications. We develop a wavelet-based method to effic...