Search results for "Synthesis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Vinu Vijay Kumar, John C. Lach	Highly flexible multi-mode system synthesis.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	multi-mode synthesis, reconfigurability, adaptable systems
21	Hyunok Oh, Nikil D. Dutt, Soonhoi Ha	Shift buffering technique for automatic code synthesis from synchronous dataflow graphs.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	automatic code synthesis, modulo buffering, shift buffering, buffer management, synchronous dataflow
21	Gang Quan, James P. Davis, Siddhaveerasharan Devarkal, Duncan A. Buell	High-level synthesis for large bit-width multipliers on FPGAs: a case study.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	FPGA devices, large-scale integer multipliers, high level synthesis, reconfigurable computing, design exploration
21	Francis Alexandre, Khaled Bsaïes, Moussa Demba	Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.	LOPSTR	2003	DBLP DOI BibTeX RDF	Corrective predicate, implicative formulas, folding/unfolding rules, theorem proving, program synthesis, abduction
21	Alexandru Nicolau, Nikil D. Dutt, Rajesh Gupta 0001, Nick Savoiu, Mehrdad Reshadi, Sumit Gupta	Dynamic Common Sub-Expression Elimination during Scheduling in High-Level Synthesis.	ISSS	2002	DBLP DOI BibTeX RDF	common sub-expression elimination, dynamic CSE, parallelizing transformations, high-level synthesis
21	Amol Bakshi, Jingzhao Ou, Viktor K. Prasanna	Towards automatic synthesis of a class of application-specific sensor networks.	CASES	2002	DBLP DOI BibTeX RDF	sensor networks, energy efficiency, design environments, automatic synthesis
21	Krzysztof Kuchcinski	Embedded System Synthesis by Timing Constraints Solving.	ISSS	1997	DBLP DOI BibTeX RDF	Embedded Systems, Synthesis, Constraint Logic Programming
21	Chunho Lee, Miodrag Potkonjak, Wayne H. Wolf	System-Level Synthesis of Application Specific Systems using A* Search and Generalized Force-Directed Heuristics.	ISSS	1996	DBLP DOI BibTeX RDF	Hard Real-Time, Search Techniques, System-Level Synthesis
21	Ti-Yen Yen, Wayne H. Wolf	Sensitivity-driven co-synthesis of distributed embedded systems.	ISSS	1995	DBLP DOI BibTeX RDF	application software architecture, communicating periodic processes, gradient-search algorithm, local sensitivity, priority prediction method, process allocation, real-time distributed embedded systems, sensitivity-driven co-synthesis, software engineering, real-time systems, distributed processing, logic design, ASICs, ASIC, processor scheduling, performance estimates, process scheduling, arbitrary topology, communication links, CPU time, heterogeneous distributed systems
21	Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown	Delay driven AIG restructuring using slack budget management.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	aig, budget management, logic synthesis, network flow
21	Greg Stitt, Jason R. Villarreal	Recursion flattening.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	optimization, fpga, compilers, synthesis, recursion
21	Hao-Da Huang, Xin Tong 0001, Wen-Cheng Wang	Accelerated Parallel Texture Optimization.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	parallel, GPU, texture synthesis, flow visualization, energy minimization
21	Zdenek Krnoul, Jakub Kanis, Milos Zelezný, Ludek Müller	Czech Text-to-Sign Speech Synthesizer.	MLMI	2007	DBLP DOI BibTeX RDF	Sign speech, machine translation, automatic synthesis
21	Yanxi Liu 0001, Yanghai Tsin, Wen-Chieh Lin	The Promise and Perils of Near-Regular Texture.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	near-regular texture, texture synthesis, lattice, texture analysis, symmetry groups
21	Pao-Ann Hsiung, Shang-Wei Lin 0001, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See	VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	embedded real-time software, scheduling, formal verification, code generation, software components, Application framework, UML modeling, formal synthesis
21	Pao-Ann Hsiung, Shang-Wei Lin 0001	Formal Design and Verification of Real-Time Embedded Software.	APLAS	2004	DBLP DOI BibTeX RDF	scheduling, formal verification, code generation, software components, application framework, UML modeling, real-time embedded software, formal synthesis
21	Anuradha Agarwal, Hemanth Sampath, Veena Yelamanchili, Ranga Vemuri	Fast and accurate parasitic capacitance models for layout-aware.	DAC	2004	DBLP DOI BibTeX RDF	layout aware, parasitic estimation, analog synthesis
21	Yunsi Fei, Niraj K. Jha	Functional Partitioning for Low Power Distributed Systems of Systems-on-a-Chip.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	SOC synthesis, genetic algorithm, functional partitioning
21	Frank F. Hsu, Elizabeth M. Rudnick, Janak H. Patel	Enhancing high-level control-flow for improved testability.	ICCAD	1996	DBLP DOI BibTeX RDF	synthesis for testability, at-speed testing, testability measures, test point insertion, high-level description
21	James P. O'Connor, Catharine Mansour, Jerri Turner-Harris, Grady H. Campbell Jr.	Reuse in Command-and-Control Systems.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	Command-and-Control Systems Division, Rockwell International, SPC Synthesis methodology, domain-specific reuse, high-level requirements, engineering decisions, formal specification, specification, software reusability, software requirements, command and control systems, customer needs
21	Srinivas Krovvidy, William G. Wee, R. Scott Summers, John J. Coleman	An AI approach for wastewater treatment systems.	Appl. Intell.	1991	DBLP DOI BibTeX RDF	Wastewater treatment, machine learning, synthesis, heuristic search, Hopfield network
21	Klaus P. Jantke, Ulf Goldhammer	Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract).	LOPSTR	1991	DBLP DOI BibTeX RDF
21	David G. Haigh, Paul M. Radmore	Systematic synthesis method for analogue circuits. Part I. Notation and synthesis toolbox.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
21	David Haigh, Fang Qun Tan, Christos Papavassiliou	Systematic synthesis method for analogue circuits. Part III. All-transistor circuit synthesis.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
21	Wander O. Cesário, Zoltan Sugar, Imed Moussa, Ahmed Amine Jerraya	Efficient Integration of Behavioral Synthesis with Existing Design Flows.	ISSS	2000	DBLP DOI BibTeX RDF
21	Jeffrey Van Baalen, Steve Roach	Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems.	LOPSTR	1998	DBLP DOI BibTeX RDF
20	Jaime Jimenez, José Luis Martín 0001, Aitzol Zuloaga, Unai Bidarte, Jagoba Arias	Comparison of two designs for the multifunction vehicle bus.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
20	Seapahn Meguerdichian, Miodrag Potkonjak	Watermarking while preserving the critical path.	DAC	2000	DBLP DOI BibTeX RDF
20	Miodrag Potkonjak, Wayne H. Wolf	A methodology and algorithms for the design of hard real-time multitasking ASICs.	ACM Trans. Design Autom. Electr. Syst.	1999	DBLP DOI BibTeX RDF
20	Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene	Using higher order logic and functional languages to synthesize correct hardware.	ICCL	1988	DBLP DOI BibTeX RDF
19	William B. Toms, David A. Edwards	A Complete Synthesis Method for Block-Level Relaxation in Self-Timed Datapaths.	ACSD	2010	DBLP DOI BibTeX RDF	Asynchronous Combinational Logic Synthesis, Datapath Synthesis
19	Kemal Sahin, Korhan Gürsoy, Amy Ciric	MINLP: Heat Exchanger Network Synthesis.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	HEN synthesis, Network synthesis, MINLP
19	Lih-Yih Chiou, Swarup Bhunia, Kaushik Roy 0001	Synthesis of application-specific highly efficient multi-mode cores for embedded systems.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	embedded systems, high level synthesis, synthesis, Digital signal processing (DSP), application specific integrated circuits (ASIC), reconfigurable system
19	Robert Schreiber, Shail Aditya, Scott A. Mahlke, Vinod Kathail, B. Ramakrishna Rau, Darren C. Cronquist, Mukund Sivaraman	PICO-NPA: High-Level Synthesis of Nonprogrammable Hardware Accelerators.	J. VLSI Signal Process.	2002	DBLP DOI BibTeX RDF	high-level hardware synthesis, automatic parallelization, datapath synthesis
19	Yan Li, Tianshu Wang, Heung-Yeung Shum	Motion texture: a two-level statistical model for character motion synthesis.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	motion texture, texture synthesis, motion synthesis, motion editing, linear dynamic systems
19	Albrecht P. Stroele	Synthesis for Arithmetic Built-In Self-Tes.	VTS	2000	DBLP DOI BibTeX RDF	test configuration, built-in self-test, high-level synthesis, synthesis for testability, Accumulator
19	George Economakos, George K. Papakonstantinou, Panayotis Tsanakas	Incorporating multi-pass attribute grammars for the high-level synthesis of ASICs.	SAC	1998	DBLP DOI BibTeX RDF	hardware synthesis environment, scheduling, high-level synthesis, attribute grammars
19	Ross B. Ortega, Gaetano Borriello	Communication synthesis for distributed embedded systems.	ICCAD	1998	DBLP DOI BibTeX RDF	distributed heterogeneous embedded systems, hardware/software co-synthesis, interprocessor communication, communication synthesis, multihop communication, bus protocols
19	R. Neil Braithwaite, Bir Bhanu	Error bound for multi-stage synthesis of narrow bandwidth Gabor filters.	ICIP	1995	DBLP DOI BibTeX RDF	narrow bandwidth Gabor filters, multistage synthesis, weighted sum, spatially offset separable kernels, frequency offset, spatial subsampling rate, multistage filtering, general basis filter set design, error analysis, filtering theory, error bound, network synthesis
19	Kevin Lano, Stephen J. Goldsack	Discrete event process controller synthesis using VDM++.	ICECCS	1995	DBLP DOI BibTeX RDF	ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion
19	Samit Chaudhuri, Stephen A. Blythe, Robert A. Walker 0001	An exact methodology for scheduling in a 3D design space.	ISSS	1995	DBLP DOI BibTeX RDF	2D design space, 3D design space, 3D scheduling problem, Voyager design space exploration system, candidate clock lengths, clock length, globally optimal solution, schedule length, three dimensional scheduling, three-dimensional design space, two dimensional design space, scheduling, optimisation, high level synthesis, search problems, clocks, tight bounds, network synthesis, search space pruning
19	Bernhard Eschermann	Enhancing on-line testability during synthesis.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	BIST, synthesis for testability, control flow checking, controller synthesis
19	Alan W. Biermann, Richard I. Baum, Frederick E. Petry	Speeding up the Synthesis of Programs from Traces.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Computation trace, finite-state machine synthesis, incompletely specified machines, learning, inference, program synthesis, tree searching, program trace
19	Gwenaël Delaval, Hervé Marchand, Éric Rutten	Contracts for modular discrete controller synthesis.	LCTES	2010	DBLP DOI BibTeX RDF	adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming
19	Seungwhun Paik, Sangmin Kim, Youngsoo Shin	Wakeup synthesis and its buffered tree construction for power gating circuit designs.	ISLPED	2010	DBLP DOI BibTeX RDF	wakeup synthesis, leakage, power gating
19	Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari 0001	Oracle-guided component-based program synthesis.	ICSE (1)	2010	DBLP DOI BibTeX RDF	oracle-based learning, SAT, program synthesis, SMT
19	Paul Gastin, Nathalie Sznajder, Marc Zeitoun	Distributed synthesis for well-connected architectures.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Synthesis problem, Synchronous architectures, Distributed systems
19	Keisuke Kawaguchi, Yui Endo, Satoshi Kanai	Database-Driven Grasp Synthesis and Ergonomic Assessment for Handheld Product Design.	HCI (11)	2009	DBLP DOI BibTeX RDF	digital hand, joint range of motion, grasp synthesis
19	Ho-Joon Lee, Jong-Chan Park	Interpretation of User Evaluation for Emotional Speech Synthesis System.	HCI (1)	2009	DBLP DOI BibTeX RDF	Emotional Speech Synthesis, Emotional Prosody Modification, User Evaluation, Affective Interaction
19	Süleyman Sirri Demirsoy, Martin Langhammer	Cholesky decomposition using fused datapath synthesis.	FPGA	2009	DBLP DOI BibTeX RDF	cholesky, fused datapath synthesis, fpga, floating-point
19	Jason Cong, Karthik Gururaj, Guoling Han	Synthesis of reconfigurable high-performance multicore systems.	FPGA	2009	DBLP DOI BibTeX RDF	coprocessor synthesis, reconfigurable high-performance computing, design space exploration
19	Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, Huipeng Guo	Automated synthesis of composite services with correctness guarantee.	WWW	2009	DBLP DOI BibTeX RDF	composition synthesis, correctness constraints, learning algorithm
19	Srinivasan Murali, Ciprian Seiculescu, Luca Benini, Giovanni De Micheli	Synthesis of networks on chips for 3D systems on chips.	ASP-DAC	2009	DBLP DOI BibTeX RDF	topology synthesis, networks on chip, 3D, application-specific
19	Prashant Saxena, Vishal Khandelwal, Changge Qiao, Pei-Hsin Ho, J.-C. Lin, Mahesh A. Iyer	On improving optimization effectiveness in interconnect-driven physical synthesis.	ISPD	2009	DBLP DOI BibTeX RDF	routing, interconnect, physical synthesis, circuit optimization, vlsi
19	Jing Tao, Wenju Liu	An Improvement of HSMM-Based Speech Synthesis by Duration-Dependent State Transition Probabilities.	ISNN (3)	2009	DBLP DOI BibTeX RDF	Duration-Dependent State Transition Probabilities, Speech Synthesis, Forward-Backward Algorithm
19	Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli	Automatic synthesis of behavior protocols for composable web-services.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	web-services, testing, automatic synthesis, behavior protocols
19	Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser	Automatic device driver synthesis with termite.	SOSP	2009	DBLP DOI BibTeX RDF	domain-specific languages, device drivers, software synthesis, two-player games
19	Hong Thai Nguyen, Ee Ping Ong, Arthur Niswar, Zhiyong Huang 0001, Susanto Rahardja	Automatic and real-time 3D face synthesis.	VRCAI	2009	DBLP DOI BibTeX RDF	3D face synthesis, texture mapping, radial-basis function, feature points detection
19	Xiaowei Sun, Baocai Yin, Yunhui Shi	Low Frequency Domain Aided Texture Synthesis for Intra Prediction.	AMT	2009	DBLP DOI BibTeX RDF	low frequency domain consistent, texture synthesis, Intra prediction
19	Frantisek Capkovic	DES Control Synthesis and Cooperation of Agents.	ICCCI	2009	DBLP DOI BibTeX RDF	Agents, Petri nets, control, synthesis, cooperation, bipartite graphs, discrete-event systems, supervisor
19	Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo	Handling don't-care conditions in high-level synthesis and application for reducing initialized registers.	DAC	2009	DBLP DOI BibTeX RDF	RTL symbolic simulation, don't-care (DC), synthesis
19	Insup Shin, Seungwhun Paik, Youngsoo Shin	Register allocation for high-level synthesis using dual supply voltages.	DAC	2009	DBLP DOI BibTeX RDF	low power, high-level synthesis, register allocation, dual supply voltage
19	Fatima Chouireb, Mhania Guerti	Towards a high quality Arabic speech synthesis system based on neural networks and residual excited vocal tract model.	Signal Image Video Process.	2008	DBLP DOI BibTeX RDF	Phonetic and acoustic segmentation, Residual excitation, Prosodic database, Prosodic-information synthesizer, Neural networks, Natural language processing, Text-to-speech synthesis
19	Liu-Yuan Lai, Wen-Liang Hwang, Paruvelli Sreedevi	Performance evaluation of a novel sampling-based texture synthesis technique using different sized patches.	Signal Image Video Process.	2008	DBLP DOI BibTeX RDF	Sampling-based, Multipatch, Patchwork, Texture synthesis, Multi-resolution
19	Stavroula-Evita Fotinea, Eleni Efthimiou, George Caridakis, Kostas Karpouzis	A knowledge-based sign synthesis architecture.	Univers. Access Inf. Soc.	2008	DBLP DOI BibTeX RDF	Sign synthesis, Lexicon and grammar coding, Virtual signing, Sign language resources, Linguistic knowledge
19	Yueh-Yi Lai, Wen-Kai Tai	Transition Texture Synthesis.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	texture transition, texture mapping, texture synthesis
19	Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora	FTSyn: a framework for automatic synthesis of fault-tolerance.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
19	Xuexiang Xie, Feng Tian 0006, Hock Soon Seah	Style-learning with feature-based texture synthesis.	Comput. Entertain.	2008	DBLP DOI BibTeX RDF	artistic style transfer, perceptual similarity, stylized shading, non-photorealistic rendering, texture synthesis
19	Weiming Dong, Ning Zhou, Jean-Claude Paul	Perspective-aware texture analysis and synthesis.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Perspectively featured texture, Scale map, Texture synthesis
19	Chengsong Zhu, Yaoting Zhu	A New Chinese Speech Synthesis Method Apply in Chinese Poetry Learning.	ICWL	2008	DBLP DOI BibTeX RDF	Chinese poetry, PSOLA, Speech Synthesis, homomorphism
19	Zhuo Li 0001, Charles J. Alpert, Shiyan Hu, Tuhin Muhmud, Stephen T. Quay, Paul G. Villarrubia	Fast interconnect synthesis with layer assignment.	ISPD	2008	DBLP DOI BibTeX RDF	buffer insertion, wire sizing, layer assignment, interconnect synthesis
19	Ke Zhang	Synthesis of a Hybrid Five-Bar Mechanism with Particle Swarm Optimization Algorithm.	ISNN (1)	2008	DBLP DOI BibTeX RDF	optimization, Synthesis, mechanism, PSO algorithm
19	Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave	Towards compositional synthesis of evolving systems.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	behavioural design patterns, feature-based development, synthesis, pipelines, I/O automata
19	Ke Sun, Yingyun Yang, Long Ye, Qin Zhang 0009	Image Restoration Using Piecewise Iterative Curve Fitting and Texture Synthesis.	ICIC (1)	2008	DBLP DOI BibTeX RDF	Region extraction, Iterative curve fitting, Image restoration, Texture synthesis
19	Ivan Zelinka, Roman Senkerik, Zuzana Oplatková	Evolutionary Synthesis of Complex Structures.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	evolutionary algorithms, synthesis, dynamical systems, symbolic regression
19	Leonardo Bruno de Sá, Antonio Carneiro de Mesquita Filho	Evolutionary synthesis of low-sensitivity equalizers using adjacency matrix representation.	GECCO	2008	DBLP DOI BibTeX RDF	genetic algorithms, synthesis, circuit, digital filters
19	Hiroki Satake, Haruna Marumoto, Kazuhisa Seta, Motohide Umano, Mitsuru Ikeda	Learning Environment for Improving Critical Thinking Skills Based on New Synthesis Theory.	KES (3)	2008	DBLP DOI BibTeX RDF	new synthesis, guidance information, critical thinking
19	Jakrapong Narkdej, Pizzanu Kanongchaiyos	Fast and robust parameter estimation method for patch-based texture synthesis.	VRCAI	2008	DBLP DOI BibTeX RDF	patch-based texture synthesis, image segmentation, texture model
19	Silvana Revollar, Mario Francisco, Pastora Vega, Rosalba Lamanna	Genetic Algorithms for the Synthesis and Integrated Design of Processes Using Advanced Control Strategies.	DCAI	2008	DBLP DOI BibTeX RDF	Process synthesis, Integrated Design, Genetic Algorithms, Model Predictive Control
19	Antti Suni, Martti Vainio	Deep Syntactic Analysis and Rule Based Accentuation in Text-to-Speech Synthesis.	TSD	2008	DBLP DOI BibTeX RDF	prosodic prominence, Finnish, Speech synthesis, syntactic analysis
19	Tomasz S. Czajkowski, Stephen Dean Brown	Functionally linear decomposition and synthesis of logic circuits for FPGAs.	DAC	2008	DBLP DOI BibTeX RDF	decomposition, logic synthesis, linearity, Gaussian elimination
19	Wei-Qi Yan 0001, Mohan S. Kankanhalli	Multimedia simplification for optimized MMS synthesis.	ACM Trans. Multim. Comput. Commun. Appl.	2007	DBLP DOI BibTeX RDF	MMS synthesis, Multimedia simplification, experiential sampling, home care monitoring, hypermedia coherence, mobile phone, soccer video
19	Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima	Software synthesis for hard real-time embedded systems with multiple processors.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	petri nets, real-time embedded systems, software synthesis, multiple processors
19	Nikunj Raghuvanshi, Ming C. Lin	Physically Based Sound Synthesis for Large-Scale Virtual Environments.	IEEE Computer Graphics and Applications	2007	DBLP DOI BibTeX RDF	spring-mass system, virtual environments, sound synthesis, physics engine
19	Yu-Hsien Chiu, Chung-Hsien Wu, Hung-Yu Su, Chih-Jen Cheng	Joint Optimization of Word Alignment and Epenthesis Generation for Chinese to Taiwanese Sign Synthesis.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	Taiwanese sign language, sign language synthesis, video concatenation, language translation
19	Congcong Li, Guangda Su, Yan Shang, Yingchun Li	Frontal Face Synthesis Based on Multiple Pose-Variant Images for Face Recognition.	ICB	2007	DBLP DOI BibTeX RDF	Face recognition, texture synthesis, pose estimation, face alignment, stereoscopy
19	Carsten Gremzow	Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design.	SCSC	2007	DBLP BibTeX RDF	hardware/software co-synthesis, instruction set architecture simulation, quantitative dataflow analysis, profiling, coarse-grained parallelism, LLVM
19	Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia	A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.	ICATPN	2007	DBLP DOI BibTeX RDF	Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems
19	Congcong Li, Guangda Su, Yan Shang, Yingchun Li, Yan Xiang	Face Recognition Based on Pose-Variant Image Synthesis and Multi-level Multi-feature Fusion.	AMFG	2007	DBLP DOI BibTeX RDF	face synthesis, pose variance, Face recognition, fusion method, Gabor
19	Yijun Liu, Wenyuan Niu, Jifa Gu	Exploring Computational Scheme of Complex Problem Solving Based on Meta-Synthesis Approach.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	group argumentation, multi-agent system, meta-synthesis
19	Huizhang Shen, Jidi Zhao, Huanchen Wang	A Hidden Pattern Discovery and Meta-synthesis of Preference Adjustment in Group Decision-Making.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	hidden pattern, group decision-making, meta-synthesis
19	Dimitrios Tsonos, Gerasimos Xydas, Georgios Kouroupetroglou	A Methodology for Reader's Emotional State Extraction to Augment Expressions in Speech Synthesis.	ICTAI (2)	2007	DBLP DOI BibTeX RDF	emotional state extractionannotation of documents, expressive speech synthesis, document-to- audio, speech representation of text formatting
19	Daniel Große, Xiaobo Chen, Gerhard W. Dueck, Rolf Drechsler	Exact sat-based toffoli network synthesis.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	synthesis, minimization, boolean satisfiability, reversible logic, quantum circuits
19	Yi-Yu Liu, Kuo-Hua Wang, TingTing Hwang	Crosstalk minimization in logic synthesis for PLAs.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	synthesis, Crosstalk, PLA, domino logic
19	Alessandro Pinto, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Marco Sgroi	System level design paradigms: Platform-based design and communication synthesis.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	Embedded systems, platform-based design, communication synthesis
19	André C. Nácul, Tony Givargis	Synthesis of time-constrained multitasking embedded software.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	Code serialization, multitasking, software synthesis, real-time embedded software
19	Hong Chen, Song Chun Zhu	A Generative Sketch Model for Human Hair Analysis and Synthesis.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	hair analysis and synthesis, flow patterns, texture, generative models, nonphotorealistic rendering, Hair modeling, orientation field
19	John McAllister, Roger F. Woods, Richard L. Walke, Darren Gerard Reilly	Multidimensional DSP Core Synthesis for FPGA.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	rapid implementation, field programmable gate array, heterogeneous system, system level design, dataflow graph, Architectural synthesis
19	Michal Aharon, Ron Kimmel	Representation Analysis and Synthesis of Lip Images Using Dimensionality Reduction.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	automatic lipreading, multidimensional scaling, dimension reduction, speech synthesis, locally linear embedding, image sequence processing
19	Jean-Michel Dischler, Florence Zara	Real-time structured texture synthesis and editing using image-mesh analogies.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Synthesis, Texture, Editing