2069 search results - page 118 / 414 » Synthesizing |
211
click to vote
FORTE
2000
15 years 8 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
228
Voted
MVA
2000
15 years 8 months ago
2000
In this paper, we propose a new method for 3D reconstruction from three cameras based on the projective geometry. If the subject is just synthesizing images from new viewpoint, 3D...
220
click to vote
CGF
2008
15 years 7 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...
207
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
183
click to vote
ENTCS
2008
15 years 7 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...