393 search results - page 38 / 79 » synthese 2008 |
109
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Many philosophers think that, necessarily, any material objects have a fusion (let's call that doctrine "Universalism"). In this paper I point out a couple of strang...
136
click to vote
DSD
2008
IEEE
16 years 17 days ago
2008
IEEE
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...
146
click to vote
ENTCS
2008
15 years 6 months ago
2008
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
154
click to vote
FOIKS
2008
Springer
15 years 7 months ago
2008
Springer
We present a method for decomposing a hypergraph with certain regularities into smaller hypergraphs. By applying this to the set of all canonical covers of a given set of functiona...
168
click to vote
CGF
2008
15 years 6 months ago
2008
We present a method for synthesizing two dimensional (2D) element arrangements from an example. The main idea is to combine texture synthesis techniques based-on a local neighborh...