132 search results - page 7 / 27 » Safraless Compositional Synthesis |
107
click to vote
SAM
2004
15 years 1 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
120
click to vote
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
Textures can often more easily be described as a composition of subtextures than as a single texture. The paper proposes a way to model and synthesize such "composite textures...
87
Voted
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We describe how to take a set of interaction traces produced by different pairs of players in a two-player repeated game, and combine them into a composite strategy. We provide an...
89
Voted
ICIP
1997
IEEE
15 years 3 months ago
1997
IEEE
Photographs and images often have regions which are in some sense flawed. Often, there may be a stain or an undesired feature covering a significant portion of the image, and an a...
ICCD
1996
IEEE
15 years 3 months ago
1996
IEEE
In general, automatic layout composition techniques based on pre-designed devices facilitate the production of small IC numbers by prefabricating their basic structures. They also...