2069 search results - page 98 / 414 » Synthesizing |
142
Voted
ACCV
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a new approach to synthesize face images under different pose changes given a single input image. The approach
126
click to vote
SOCO
2009
Springer
15 years 11 months ago
2009
Springer
How would a language look like that is specially designed for solving meta-programming problems in the software composition domain? We present requirements for and design of Rascal...
132
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
We describe an algorithm for synthesizing resource invariants that are used in the verification of concurrent programs. This synthesis employs bi-abductive inference to identify t...
118
click to vote
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
— Diophantine Frequency Synthesis1 is a new approach to fine-step and fast-hopping frequency synthesis that is based on mathematical properties of integer numbers and Diophantin...
136
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we present SEMA tool for the automatic mapping of ontologies. The main purpose of SEMA is to locate one to one equivalence correspondences (mappings) between elements...