3456 search results - page 375 / 692 » Algorithms for Interface Synthesis |
178
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
193
click to vote
ICA
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we propose a Bayesian estimation approach to extend independent subspace analysis (ISA) for an overcomplete representation without imposing the orthogonal constraint...
165
click to vote
IJCAI
2007
15 years 8 months ago
2007
This paper develops a statistical inference approach, Bayesian Tensor Inference, for style transformation between photo images and sketch images of human faces. Motivated by the r...
161
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Abstract. Synchronous programs may contain cyclic signal interdependencies. This prohibits a static scheduling, which limits the choice of available compilation techniques for such...
166
click to vote
WSC
2004
15 years 8 months ago
2004
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...