Search results for "model synthesis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Paul Merrell, Dinesh Manocha	Constraint-based model synthesis.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	procedural modeling, model synthesis
2	Paul Merrell, Dinesh Manocha	Continuous model synthesis.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	procedural modeling, model synthesis
2	Wei Wu, Thomas Fang Zheng, Mingxing Xu, Frank K. Soong	A Cohort-Based Speaker Model Synthesis for Mismatched Channels in Speaker Verification.	IEEE Transactions on Audio, Speech & Language Processing	2007	DBLP DOI BibTeX RDF
2	Cong Zhang, Amol Bakshi, Viktor K. Prasanna	ModelML: a Markup Language for Automatic Model Synthesis.	IRI	2007	DBLP DOI BibTeX RDF
2	Paul Merrell	Example-based model synthesis.	SI3D	2007	DBLP DOI BibTeX RDF	texture synthesis, procedural modeling
2	Christophe Damas, Bernard Lambeau, Axel van Lamsweerde	Scenarios, goals, and state machines: a win-win partnership for model synthesis.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	scenario-based elicitation, synthesis of behavior models, incremental learning, labelled transition systems, message sequence charts, goal-oriented requirements engineering, analysis tools, scenario generation
2	Joel Huselius, Johan Andersson	Model Synthesis for Real-Time Systems.	CSMR	2005	DBLP DOI BibTeX RDF
2	Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikolay Zemtsov	Extensible Canonical Process Model Synthesis Applying Formal Interpretation.	ADBIS	2005	DBLP DOI BibTeX RDF
2	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee	System architecture: the context for scenario-based model synthesis.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	architecture, synthesis, generalisation, MSCs
2	Virgínia V. B. Biris Brilhante	An Ontology for Quantities in Ecology.	SBIA	2004	DBLP DOI BibTeX RDF	engineering and application, ecological data, Ontology reuse, model synthesis
2	Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts	Constraint-Based Design-Space Exploration and Model Synthesis.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Paul Merrell, Dinesh Manocha	Model Synthesis: A General Procedural Modeling Algorithm.	IEEE Trans. Vis. Comput. Graph.	2011	DBLP DOI BibTeX RDF
1	Robert H. Bell Jr., Matyas Sustik, David W. Cummings, Jonathan R. Jackson	Automatic performance model synthesis from hardware verification models.	ICPE	2011	DBLP DOI BibTeX RDF
1	Andrey Mokhov, Alexandre Yakovlev	Conditional Partial Order Graphs: Model, Synthesis, and Application.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF
1	Nicolas Maréchal, Eric Galin, Eric Guérin, Samir Akkouche	Component-based model synthesis for low polygonal models.	Graphics Interface	2010	DBLP BibTeX RDF
1	Yongjun He, Jiqing Han	Model synthesis for band-limited speech recognition.	INTERSPEECH	2010	DBLP BibTeX RDF
1	Andreas Popp, Andreas Herrholz, Kim Grüttner, Yannick Le Moullec, Peter Koch, Wolfgang Nebel	SystemC-AMS SDF model synthesis for exploration of heterogeneous architectures.	DDECS	2010	DBLP DOI BibTeX RDF
1	Benjamin H. Y. Koo, Willard L. Simmons, Edward F. Crawley	Algebra of Systems: A Metalanguage for Model Synthesis and Evaluation.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2009	DBLP DOI BibTeX RDF
1	Christophe Damas, Bernard Lambeau, Francois Roucoux, Axel van Lamsweerde	Analyzing critical process models through behavior model synthesis.	ICSE	2009	DBLP DOI BibTeX RDF
1	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, constraints, scenarios, partial specifications, modal transition systems
1	Natalio Krasnogor	Synthetic biology: modelling and optimisation.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	tutorial slides
1	Sven Schewe	Tighter Bounds for the Determinisation of Büchi Automata.	FOSSACS	2009	DBLP DOI BibTeX RDF
1	Sebastián Uchitel	Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering.	SBMF	2009	DBLP DOI BibTeX RDF
1	Sukumar Jairam, Navakanta Bhat	GyroCompiler: A Soft IP Model Synthesis and Analysis Framework for Design of MEMS Based Gyroscopes.	VLSI Design	2008	DBLP DOI BibTeX RDF
1	Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè	Automatic generation of software behavioral models.	ICSE	2008	DBLP DOI BibTeX RDF	gk-tail, dynamic analysis, model synthesis
1	Sagar Sen, Benoit Baudry, Jean-Marie Mottu	On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing.	ICST	2008	DBLP DOI BibTeX RDF	cartier, model tranformation, testing, alloy
1	Antonio Rama, Francesc Tarres	Face Recognition using a Fast Model Synthesis from a Profile and a Frontal View.	ICIP	2007	DBLP DOI BibTeX RDF
1	Teemu Kanstrén	Towards Trace Based Model Synthesis for Program Understanding and Test Automation.	ICSEA	2007	DBLP DOI BibTeX RDF
1	Sebastián Uchitel, Greg Brunet, Marsha Chechik	Behaviour Model Synthesis from Properties and Scenarios.	ICSE	2007	DBLP DOI BibTeX RDF
1	Egor Bondarev, Michel R. V. Chaudron, Erwin A. de Kock	Exploring performance trade-offs of a JPEG decoder using the deepcompass framework.	WOSP	2007	DBLP DOI BibTeX RDF	JPEG decoder, design trade-offs, simulation, software, performance prediction, system architecture, component-based systems, component models, model synthesis
1	Yuan Luo, Marina L. Gavrilova	3D Facial Model Synthesis using Voronoi Approach.	ISVD	2006	DBLP DOI BibTeX RDF
1	Jörg Desel	Petri Net Model Synthesis from Scenarios.	MBEES	2006	DBLP BibTeX RDF
1	Hongzhi Liang, Jürgen Dingel, Zinovy Diskin	A comparative survey of scenario-based to state-based model synthesis approaches.	SCESM	2006	DBLP DOI BibTeX RDF	model, UML, petri nets, synthesis, scenario, SDL, state machines, MSC
1	Cuilan Wang, Timothy S. Newman, Dennis L. Gallagher	Synthesis of 3D Model of a Magnetic Field-Influenced Body from a Single Image.	3DPVT	2006	DBLP DOI BibTeX RDF
1	Johan Andersson, Joel Huselius, Christer Norström, Anders Wall	Extracting Simulation Models from Complex Embedded Real-Time Systems.	ICSEA	2006	DBLP DOI BibTeX RDF
1	Ankit Goel, Abhik Roychoudhury	Synthesis and Traceability of Scenario-Based Executable Models.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Strengthening Property Preservation in Concurrent Real-Time Systems.	RTCSA	2006	DBLP DOI BibTeX RDF
1	Jeremy Kepner	High Performance Computing Productivity Model Synthesis.	IJHPCA	2004	DBLP DOI BibTeX RDF
1	Bill Mitchell, Robert Thomson, Paul Bristow	Model Synthesis from Imprecise Specifications.	VVEIS	2004	DBLP BibTeX RDF
1	Plamen P. Angelov	An evolutionary approach to fuzzy rule-based model synthesis using indices for rules.	Fuzzy Sets and Systems	2003	DBLP DOI BibTeX RDF
1	Zhun Fan, Kisung Seo, Jianjun Hu, Ronald C. Rosenberg, Erik D. Goodman	System-Level Synthesis of MEMS via Genetic Programming and Bond Graphs.	GECCO	2003	DBLP DOI BibTeX RDF
1	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee	LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios.	TACAS	2003	DBLP DOI BibTeX RDF
1	Gerard V. Kopcsay, Byron Krauter, David Widiger, Alina Deutsch, Barry J. Rubin, H. H. Smith	A comprehensive 2-D inductance modeling approach for VLSI interconnects: frequency-dependent extraction and compact circuit model synthesis.	IEEE Trans. VLSI Syst.	2002	DBLP DOI BibTeX RDF
1	Sambuddhi Hettiaratchi, Peter Y. K. Cheung, Thomas J. W. Clarke	Performance-Area Trade-Off of Address Generators for Address Decoder-Decoupled Memory.	DATE	2002	DBLP DOI BibTeX RDF
1	Maria Sorea	A Decidable Fixpoint Logic for Time-Outs.	CONCUR	2002	DBLP DOI BibTeX RDF
1	Dimitris E. Koulouriotis, Ioannis E. Diakoulakis, Dimitris M. Emiris	A Fuzzy Cognitive Map-based Stock Market Model: Synthesis, Analysis & Experimental Results.	FUZZ-IEEE	2001	DBLP BibTeX RDF
1	Klaus-Ulrich Leweling, Benno Stein	Hybrid Constraints in Automated Model Synthesis and Model Processing.	Electronic Notes in Discrete Mathematics	2000	DBLP DOI BibTeX RDF
1	Kyu Park, Il Dong Yun, Sang Uk Lee	Automatic 3-D model synthesis from measured range data.	IEEE Trans. Circuits Syst. Video Techn.	2000	DBLP DOI BibTeX RDF
1	K. Suzanne Barber, Stephen R. Jernigan	Hybrid domain representation archive (HyDRA) for requirements model synthesis across viewpoints (poster).	ICSE	2000	DBLP DOI BibTeX RDF
1	Hong Zhu, Lingzi Jin	Scenario Analysis in an Automated Tool for Requirements Engineering.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Requirements model synthesis, Requirements engineering, Consistency, Completeness, Scenario analysis, Automated tool
1	David Slater, Glenn Healey	Material Classification for 3D Objects in Aerial Hyperspectral Images. (PDF / PS)	CVPR	1999	DBLP DOI BibTeX RDF
1	Jan Wilk, Eva Wilk, Bodo Morgenstern	A New Second-Order Adaptation Rule and Its Application to Electrical Model Synthesis.	IEA/AIE	1996	DBLP BibTeX RDF
1	Heikki Tuominen	Elementary net systems and dynamic logic.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	axiomatization of properties, model checking, Petri nets, temporal logic, Dynamic logic, elementary net systems, model synthesis
1	Charles E. Stroud	An Automated BIST Approach for General Sequential Logic Synthesis.	DAC	1988	DBLP BibTeX RDF