10891 search results - page 1827 / 2179 » Combining Model Reductions |
131
click to vote
MFCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
135
click to vote
MFCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
128
click to vote
MIRAGE
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we describe a dynamic texture overlay method from monocular images for real-time visualization of garments in a virtual mirror environment. Similar to looking into a...
96
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Multiple inheritance has long been plagued with the “diamond” inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we ad...
109
click to vote
PKDD
2009
Springer
15 years 10 months ago
2009
Springer
Most accurate predictions are typically obtained by learning machines with complex feature spaces (as e.g. induced by kernels). Unfortunately, such decision rules are hardly access...