Search results for "synthesizing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	FaChao Li 0001, XianLei Liu, Chenxia Jin	Study on Stochastic Programming Methods Based on Synthesizing Effect.	AICI	2009	DBLP DOI BibTeX RDF	Stochastic decision-making, Stochastic effect, Synthesizing effect function, Mathematical expectation, Model, Stochastic programming, Variance
58	Le Dong, Ebroul Izquierdo	A Knowledge Synthesizing Approach for Classification of Visual Information.	VISUAL	2007	DBLP DOI BibTeX RDF	essence map, knowledge synthesizing, classification
50	Xindong Wu 0001, Shichao Zhang 0001	Synthesizing High-Frequency Rules from Different Data Sources.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	multiple data sources, association rules, weighting, Large databases, rule selection, synthesizing
30	Joe W. Duran	Heuristics for program synthesis using loop invariants.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Automatic programming, Program synthesis, Program correctness, Loop invariants
27	Borzoo Bonakdarpour, Sandeep S. Kulkarni	On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery.	FM	2009	DBLP DOI BibTeX RDF	Bounded-time recovery, Phased recovery, Fault-tolerance, Real-time, Program transformation, Program synthesis
27	Ankur Taly, Sumit Gulwani, Ashish Tiwari 0001	Synthesizing Switching Logic Using Constraint Solving.	VMCAI	2009	DBLP DOI BibTeX RDF
27	Alla Safonova, Jessica K. Hodgins	Synthesizing Human Motion from Intuitive Constraints.	Artificial Intelligence Techniques for Computer Graphics	2008	DBLP DOI BibTeX RDF
27	Hang-yong Chen, Yongxiang Liu, Xiang Li 0014, Gui-rong Guo	Mathematics of Synthesizing Range Profile.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
27	Rui Wang 0004, Wei Hua, Zilong Dong, Qunsheng Peng 0001, Hujun Bao	Synthesizing trees by plantons.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Modeling from samples, Markov model, Image-based modeling, Tree modeling
27	Kunihiko Hayashi, Hideo Saito	Synthesizing Free-Viewpoint Images from Multiple View Videos in Soccer Stadium.	CGIV	2006	DBLP DOI BibTeX RDF	free-viewpoint, multiple view videos, projective matrix, image processing, calibration, homography
27	Greg Stitt, Zhi Guo, Walid A. Najjar, Frank Vahid	Techniques for synthesizing binaries to an advanced register/memory structure.	FPGA	2005	DBLP DOI BibTeX RDF	smart buffers, FPGA, embedded systems, synthesis, decompilation, binaries
27	Masato Kawada, Nodoka Mimura, Hiroyuki Morikawa, Tomonori Aoyama	A User-Oriented Presence Synthesizing System for Facilitating On-Line Communication.	SAINT Workshops	2005	DBLP DOI BibTeX RDF
27	K. Scott Hemmert, Justin L. Tripp, Brad L. Hutchings, Preston A. Jackson	Source Level Debugger for the Sea Cucumber Synthesizing Compiler.	FCCM	2003	DBLP DOI BibTeX RDF
27	Sanghun Lee, Hirotomo Aso	Loop-Synthesizing Transformation for Maintaining Parallelism and Enhancing Locality.	ICPP Workshops	2003	DBLP DOI BibTeX RDF
27	Zhiyong Li 0002, John H. Reif, Sandeep K. S. Gupta	Synthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms Using Block-Cyclic Data Distributions.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	block recursive algorithm, fast Fourier transform, Parallel I/O, data distribution, program synthesis, tensor product
27	Subir Bandyopadhyay, Arunita Jaekel, Graham A. Jullien	A Method for Synthesizing Area Efficient Multilevel PTL Circuits.	VLSI Design	1997	DBLP DOI BibTeX RDF	multilevel logic synthesis, logic synthesis, Pass transistor logic
27	Raymond Fadous	A hierarchical method for synthesizing relations.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	functional dependency, relational model, database schema, third normal form
23	Man-Kang Leung, Wai-Man Pang, Chi-Wing Fu, Tien-Tsin Wong, Pheng-Ann Heng	Tileable BTF.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Three-Dimensional Graphics and Realism - Color, shadowing and texture, shading, Picture/Image Generation, Methodology and Techniques
23	Dimitrios Charalampidis	Texture synthesis: textons revisited.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
23	Sandeep S. Kulkarni, Ali Ebnenasir	Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	Fault-tolerance, formal methods, distributed programs, program synthesis, automatic addition of fault-tolerance
23	Andrew Klapper	On the Existence of Secure Keystream Generators.	J. Cryptol.	2001	DBLP DOI BibTeX RDF
23	Yuefeng Li, Chengqi Zhang	Information-Based Cooperation in Multiple Agent Systems.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
23	Andrew Klapper	On the Existence of Secure Feedback Registers (Extended Abstract).	EUROCRYPT	1996	DBLP DOI BibTeX RDF	nonlinear feedback registers, security, cryptography, stream ciphers, Binary sequences
20	Étienne André	IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata.	ICTAC	2009	DBLP DOI BibTeX RDF
20	Qunzeng Liu, Sachin S. Sapatnekar	Synthesizing a representative critical path for post-silicon delay prediction.	ISPD	2009	DBLP DOI BibTeX RDF	post-silicon optimization, representative critical path
20	Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic	Synthesizing partial component-level behavior models from system specifications.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	behavior model synthesis, modal transition systems, constraints, scenarios, partial specifications
20	Brahim Hnich, Roberto Rossi 0002, S. Armagan Tarim, Steven D. Prestwich	Synthesizing Filtering Algorithms for Global Chance-Constraints.	CP	2009	DBLP DOI BibTeX RDF
20	Denys Poshyvanyk, Mark Grechanik	Creating and evolving software by searching, selecting and synthesizing relevant source code.	ICSE Companion	2009	DBLP DOI BibTeX RDF
20	Jian Yu, Yanbo Han, Jun Han 0004, Yan Jin, Paolo Falcarin, Maurizio Morisio	Synthesizing Service Composition Models on the Basis of Temporal Business Rules.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	composition synthesis, service composition, behavioral model, temporal patterns
20	Gal Katz, Doron A. Peled	Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms.	ATVA	2008	DBLP DOI BibTeX RDF
20	Baoping Lin, Qing Li 0001, Naijie Gu	An Acknowledgement-Based Approach to Synthesizing Reliable Service Mediators.	ICWS	2008	DBLP DOI BibTeX RDF
20	Rong Su 0001, Jan H. van Schuppen, Jacobus E. Rooda	Synthesizing nonblocking distributed supervisors based on automaton abstraction.	CDC	2008	DBLP DOI BibTeX RDF
20	Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen	Synthesizing Test Models from Test Cases.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
20	Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker	Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning.	CONCUR	2008	DBLP DOI BibTeX RDF
20	Alkis Simitsis, Georgia Koutrika, Yannis Alexandrakis, Yannis E. Ioannidis	Synthesizing structured text from logical database subsets.	EDBT	2008	DBLP DOI BibTeX RDF
20	Oded Maler, Dejan Nickovic, Amir Pnueli	On Synthesizing Controllers from Bounded-Response Properties.	CAV	2007	DBLP DOI BibTeX RDF
20	Malay K. Ganai, Akira Mukaiyama, Aarti Gupta, Kazutoshi Wakabayashi	Synthesizing "Verification Aware" Models: Why and How?	VLSI Design	2007	DBLP DOI BibTeX RDF
20	Brian Fett, Jehoshua Bruck, Marc D. Riedel	Synthesizing Stochasticity in Biochemical Systems.	DAC	2007	DBLP DOI BibTeX RDF
20	ZhiWu Li 0001, MengChu Zhou	Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
20	Wael Suleiman, André Monin, Jean-Paul Laumond	Synthesizing and Modeling Human Locomotion Using System Identification.	IROS	2006	DBLP DOI BibTeX RDF
20	Yasuaki Kuroe, Hitoshi Iima	A Learning Method for Synthesizing Spiking Neural Oscillators.	IJCNN	2006	DBLP DOI BibTeX RDF
20	Kung Chen, Chung-Hsin Chen, Shin-Yuan Chang, Chiehfen Chen, Yu-Chuan Li	A Rapid Development Environment for Synthesizing Guideline-Based Decision Support Systems.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
20	Yan-Wen Guo 0001, Xiaodong Xu, Xi Chen, Jin Wang, Qunsheng Peng 0001	Synthesizing Variational Direction and Scale Texture on Planar Region.	PCM	2006	DBLP DOI BibTeX RDF	texture direction and scale, Computer graphics, texture synthesis, feature matching
20	Shintaro Ono, Koichi Ogawara, Masataka Kagesawa, Hiroshi Kawasaki, Masaaki Onuki, Ken Honda, Katsushi Ikeuchi	Driving View Simulation Synthesizing Virtual Geometry and Real Images in an Experimental Mixed-Reality Traffic Space.	ISMAR	2005	DBLP DOI BibTeX RDF
20	Rovshan Kalanov, Jieun Cho, Jun Ohya	A Study of Synthesizing New Human Motions from Sampled Motions Using Tensor Decomposition.	ICME	2005	DBLP DOI BibTeX RDF
20	Humberto Nicolás Castejón Martínez	Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps.	SDL Forum	2005	DBLP DOI BibTeX RDF
20	Yueh-Yi Lai, Wen-Kai Tai, Chin-Chen Chang 0002, Chen-Duo Liu	Synthesizing transition textures on succession patterns.	GRAPHITE	2005	DBLP DOI BibTeX RDF	texture transition, texture synthesis
20	Jianyong Zhang, Anand Sivasubramaniam, Hubertus Franke, Natarajan Gautam, Yanyong Zhang, Shailabh Nagar	Synthesizing Representative I/O Workloads for TPC-H.	HPCA	2004	DBLP DOI BibTeX RDF
20	Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai	Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces.	PerCom	2003	DBLP DOI BibTeX RDF
20	Shlomo Dubnov, Ziv Bar-Joseph, Ran El-Yaniv, Dani Lischinski, Michael Werman	Synthesizing Sound Textures through Wavelet Tree Learning.	IEEE Computer Graphics and Applications	2002	DBLP DOI BibTeX RDF
20	Justin L. Tripp, Preston A. Jackson, Brad L. Hutchings	Sea Cucumber: A Synthesizing Compiler for FPGAs.	FPL	2002	DBLP DOI BibTeX RDF
20	Ram Lakhan Gupta, Anshul Kumar, Aalbert Van Der Werf, Natalino G. Busá	Synthesizing A Long Latency Unit Within Vliw Processor.	VLSI Design	2001	DBLP DOI BibTeX RDF
20	David Harel, Hillel Kugler	Synthesizing State-Based Object Systems from LSC Specifications.	CIAA	2000	DBLP DOI BibTeX RDF
20	Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali	Synthesizing transformations for locality enhancement of imperfectly-nested loop nests.	ICS	2000	DBLP DOI BibTeX RDF
20	Henning Dierks	Synthesizing controllers from real-time specifications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
20	Young Moo Lee, Kyu Ho Park	Unified Modeling Graph for Specifying and Synthesizing Chip-Level Interfaces.	EUROMICRO	1999	DBLP DOI BibTeX RDF
20	Shigeru Yamashita, Hiroshi Sawada, Akira Nagoya	An Integrated Approach for Synthesizing LUT Networks.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF
20	Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan	Synthesizing Distributed Transition Systems from Global Specification.	FSTTCS	1999	DBLP DOI BibTeX RDF
20	Zhe Zhao, Bahram Pouya, Nur A. Touba	BETSY: synthesizing circuits for a specified BIST environment.	ITC	1998	DBLP DOI BibTeX RDF
20	Pierre Wolper	Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract).	LOPSTR	1998	DBLP DOI BibTeX RDF
20	José Luis Neves, Eby G. Friedman	Design methodology for synthesizing clock distribution networks exploiting nonzero localized clock skew.	IEEE Trans. Very Large Scale Integr. Syst.	1996	DBLP DOI BibTeX RDF
20	Z. P. Tao, M. Goossens	Synthesizing Communication Protocol Converter: A Model and Method.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
20	Bill Lin 0001, A. Richard Newton	A circuit disassembly technique for synthesizing symbolic layouts from mask descriptions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
20	Howard Wong-Toi, David L. Dill	Synthesizing Processes and Schedulers from Temporal Specifications.	CAV	1990	DBLP DOI BibTeX RDF
20	Chao-Chih Yang, Guang Li, Peter A. Ng	An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	subset closures, relational database scheme, elementary key normal form, subset closures, computational complexity, relational databases, time complexity, database theory, functional dependences, set theory, Hamiltonian cycles
20	Sanjay V. Rajopadhye, S. Purushothaman, Richard Fujimoto	On Synthesizing Systolic Arrays from Recurrence Equations with Linear Dependencies.	FSTTCS	1986	DBLP DOI BibTeX RDF
20	Deepak Kapur, Mandayam K. Srivas	A Rewrite Rule Based Approach for Synthesizing Abstract Data Types.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
15	Antoine Girard	Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications.	HSCC	2010	DBLP DOI BibTeX RDF	approximate bisimulation, abstraction, synthesis, safety, hybrid systems, switched systems
15	Swarat Chaudhuri, Armando Solar-Lezama	Smooth interpretation.	PLDI	2010	DBLP DOI BibTeX RDF	parameter synthesis, program smoothing, continuity
15	Juan Pablo Hourcade, Keith B. Perry	Exploring children's investigation of data outliers.	IDC	2009	DBLP DOI BibTeX RDF	online research, information visualization, children, information presentation
15	Taesoo Kwon, Young-Sang Cho, Sang Il Park, Sung Yong Shin	Two-Character Motion Analysis and Synthesis.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
15	Francesc Alías, Xavier Sevillano, Joan Claudi Socoró, Xavi Gonzalvo	Towards High-Quality Next-Generation Text-to-Speech Synthesis: A Multidomain Approach by Automatic Domain Classification.	IEEE Trans. Speech Audio Process.	2008	DBLP DOI BibTeX RDF
15	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Masking Faults While Providing Bounded-Time Phased Recovery.	FM	2008	DBLP DOI BibTeX RDF	Bounded-time recovery, Phased recovery, Fault-tolerance, Real-time, Formal methods, Synthesis, Transformation
15	Mohammad Reza Kakoee, Mohammad Riazati, Siamak Mohammadi	Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions.	ISQED	2008	DBLP DOI BibTeX RDF	Assertion Synthesis, Assertion Unification, Online Testing
15	Johannes Kopf 0001, Chi-Wing Fu, Daniel Cohen-Or, Oliver Deussen, Dani Lischinski, Tien-Tsin Wong	Solid texture synthesis from 2D exemplars.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	texture synthesis, solid texture
15	Spring Berman, Ádám M. Halász, Vijay Kumar 0001, Stephen Pratt	Bio-Inspired Group Behaviors for the Deployment of a Swarm of Robots to Multiple Destinations.	ICRA	2007	DBLP DOI BibTeX RDF
15	Lei Xiong, Nanning Zheng 0001, Qubo You, Jianyi Liu, Shaoyi Du	Eye Synthesis Using the Eye Curve Model.	ICTAI (2)	2007	DBLP DOI BibTeX RDF
15	Lei Wu, Houqiang Li, Nenghai Yu, Mingjing Li	Accurate 3D Facial Synthesis for Plastic Surgery Simulation.	MMM (2)	2007	DBLP DOI BibTeX RDF	plastic surgery, texture mapping, 3D reconstruction, 3D face
15	Yuanyuan Song	Adaptation hiding modularity.	ASE	2007	DBLP DOI BibTeX RDF	adaptation hiding, runtime self-adaptation
15	Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti 0001	Synthesis of system verilog assertions.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
15	Jia-Wei Chiou, Chuan-Kai Yang	A New Algorithm for Solid Texture Synthesis.	ISVC (2)	2006	DBLP DOI BibTeX RDF
15	Nir Piterman, Amir Pnueli, Yaniv Sa'ar	Synthesis of Reactive(1) Designs.	VMCAI	2006	DBLP DOI BibTeX RDF
15	A. Prasad Sistla, Min Zhou, Lenore D. Zuck	Monitoring Off-the-Shelf Components.	VMCAI	2006	DBLP DOI BibTeX RDF
15	Adam W. Bargteil, Funshing Sin, Jonathan E. Michaels, Tolga Göktekin, James F. O'Brien	A texture synthesis method for liquid animations.	Symposium on Computer Animation	2006	DBLP DOI BibTeX RDF	semi-Lagrangian contouring, texture mapping, texture synthesis, physically based animation, natural phenomena, surface modeling, fluid simulation, surface texturing, surface tracking
15	Sven Schewe, Bernd Finkbeiner	Synthesis of Asynchronous Systems.	LOPSTR	2006	DBLP DOI BibTeX RDF
15	Yi Wang 0008, Hujun Yin, Li-Zhu Zhou, Zhi-Qiang Liu	Real-Time Synthesis of 3D Animations by Learning Parametric Gaussians Using Self-Organizing Mixture Networks.	ICONIP (2)	2006	DBLP DOI BibTeX RDF
15	Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza	Fault Diagnosis Using Timed Automata.	FoSSaCS	2005	DBLP DOI BibTeX RDF
15	Paul C. Attie, Anish Arora, E. Allen Emerson	Synthesis of fault-tolerant concurrent programs.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	fault-tolerance, specification, temporal logic, Concurrent programs, program synthesis
15	Eric Boivin, Inna Sharf, Michel Doyon	Optimum Grasp of Planar and Revolute Objects with Gripper Geometry Constraints.	ICRA	2004	DBLP DOI BibTeX RDF
15	Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel	Revisiting Statechart Synthesis with an Algebraic Approach.	ICSE	2004	DBLP DOI BibTeX RDF
15	Yasuyuki Yanagida, Shinjiro Kawato, Haruo Noma, Akira Tomono, Nobuji Tetsutani	Projection-Based Olfactory Display with Nose Tracking.	VR	2004	DBLP DOI BibTeX RDF
15	Jingdan Zhang, Kun Zhou 0001, Luiz Velho 0001, Baining Guo, Heung-Yeung Shum	Synthesis of progressively-variant textures on arbitrary surfaces.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	texture mapping, texture synthesis, surfaces
15	Marios Savvides, B. V. K. Vijaya Kumar	Efficient Design of Advanced Correlation Filters for Robust Distortion-Tolerant Face Recognition.	AVSS	2003	DBLP DOI BibTeX RDF
15	Tony Ezzat, Gadi Geiger, Tomaso A. Poggio	Trainable videorealistic speech animation.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	optical flow, facial animation, morphing, speech synthesis, facial modeling, lip synchronization
15	Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli	Convertibility verification and converter synthesis: two faces of the same coin.	ICCAD	2002	DBLP DOI BibTeX RDF
15	Eric J. McDonald, Bradley A. Minch	Synthesis of a translinear analog adaptive filter.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
15	Hafizur Rahaman 0001, Debesh K. Das, Bhargab B. Bhattacharya	A New Synthesis of Symmetric Functions.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF
15	Paul C. Attie, E. Allen Emerson	Synthesis of concurrent programs for an atomic read/write model of computation.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	specification, temporal logic, concurrent programs, program synthesis, atomic registers
15	Kie B. Eom	Long-correlation image models for textures with circular and elliptical correlation structures.	IEEE Trans. Image Process.	2001	DBLP DOI BibTeX RDF
15	W. L. L. William, Bing Zeng	Fast texture synthesis by feature matching.	ICIP (2)	2001	DBLP DOI BibTeX RDF