Search results for "example"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Xingwei He 0003, Siu-Ming Yiu	Controllable Dictionary Example Generation: Generating Example Sentences for Specific Targeted Audiences.	ACL (1)	2022	DBLP DOI BibTeX RDF
17	Shmuel Berman, Mark Santolucito	Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs.	CoRR	2021	DBLP BibTeX RDF
17	Shmuel Berman	Programming-by-example by programming-by-example: synthesis of looping programs.	SPLASH (Companion)	2021	DBLP DOI BibTeX RDF
17	Mohammed Hawari	System and Networking Aspects of the Transition of High-Performance Applications from Dedicated to Commodity Hardware : the Example of Media Production for Professional Broadcast. (Aspects réseaux et systèmes de la migration d'applications hautes-performances de matériels dédiés vers des serveurs génériques : l'example de la production de média pour la diffusion audiovisuelle).		2021	RDF
17	Anna Fariha, Lucy Cousins, Narges Mahyar, Alexandra Meliou	Example-Driven User Intent Discovery: Empowering Users to Cross the SQL Barrier Through Query by Example.	CoRR	2020	DBLP BibTeX RDF
17	Norihide Kitaoka, Eichi Seto, Ryota Nishimura	Example Phrase Adaptation Method for Customized, Example-Based Dialog System Using User Data and Distributed Word Representations.	IEICE Trans. Inf. Syst.	2020	DBLP DOI BibTeX RDF
17	Jesús J. López-Fernández, Antonio Garmendia, Esther Guerra, Juan de Lara	An example is worth a thousand words: Creating graphical modelling environments by example.	Softw. Syst. Model.	2019	DBLP DOI BibTeX RDF
17	Atsunori Ogawa, Keisuke Kinoshita, Marc Delcroix, Tomohiro Nakatani	Improved Example-Based Speech Enhancement by Using Deep Neural Network Acoustic Model for Noise Robust Example Search.	INTERSPEECH	2017	DBLP DOI BibTeX RDF
17	Atsunori Ogawa, Shogo Seki, Keisuke Kinoshita, Marc Delcroix, Takuya Yoshioka, Tomohiro Nakatani, Kazuya Takeda	Robust Example Search Using Bottleneck Features for Example-Based Speech Enhancement.	INTERSPEECH	2016	DBLP DOI BibTeX RDF
17	Sebastian Gross, Bassam Mokbel, Barbara Hammer, Niels Pinkwart	How to Select an Example? A Comparison of Selection Strategies in Example-Based Learning.	Intelligent Tutoring Systems	2014	DBLP DOI BibTeX RDF
17	Gábor Bergmann, Ábel Hegedüs, György Gerencser, Dániel Varró	Graph Query by Example.	CMSEBA@MoDELS	2014	DBLP BibTeX RDF
17	Michal Antkiewicz, Kacper Bak, Krzysztof Czarnecki 0001, Zinovy Diskin, Dina Zayan, Andrzej Wasowski	Example-Driven Modeling using Clafer.	MDEBE@MoDELS	2013	DBLP BibTeX RDF
17	Alexander Bergmayr, Manuel Wimmer	Generating Metamodels from Grammars by Chaining Translational and By-Example Techniques.	MDEBE@MoDELS	2013	DBLP BibTeX RDF
17	Fábio Levy Siqueira, Paulo Sérgio Muniz Silva	Applying MTBE Manually: a Method and an Example.	MDEBE@MoDELS	2013	DBLP BibTeX RDF
17	Tamara van Gog	Effects of identical example-problem and problem-example pairs on learning.	Comput. Educ.	2011	DBLP DOI BibTeX RDF
17	Kimiaki Shirahama, Kuniaki Uehara	Query by Virtual Example: Video Retrieval Using Example Shots Created by Virtual Reality Techniques.	ICIG	2011	DBLP DOI BibTeX RDF
17	Ohad Barzilay	Example embedding: on the diversity of example usage in professional software development		2011	RDF
17	Jens Ackermann, Martin Ritz, André Stork, Michael Goesele	Removing the Example from Example-Based Photometric Stereo.	ECCV Workshops (1)	2010	DBLP DOI BibTeX RDF
17	Dong-Joo Kim, Han-Woo Kim	A Metric for Example Matching in Example-Based Machine Translation.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2006	DBLP DOI BibTeX RDF
17	Nancy S. Pollard, Alon Wolf	Grasp Synthesis from Example: Tuning the Example to a Task or Object.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
17	Sara Morrissey, Andy Way	An Example-Based Approach to Translating Sign Language.	MTSummit (Workshop)	2005	DBLP BibTeX RDF
17	Ralf Brown	Context-sensitive Retrieval for Example-based Translation.	MTSummit (Workshop)	2005	DBLP BibTeX RDF
17	Takao Doi, Hirofumi Yamamoto, Eiichiro Sumita	Graph-based Retrieval for Example-based Machine Translation Using Edit-distance.	MTSummit (Workshop)	2005	DBLP BibTeX RDF
17	Arul Menezes, Chris Quirk	Dependency Treelet Translation: The Convergence of Statistical and Example-based Machine-translation?	MTSummit (Workshop)	2005	DBLP BibTeX RDF
17	John Hutchins	Towards a Definition of Example-based Machine Translation.	MTSummit (Workshop)	2005	DBLP BibTeX RDF
17	Peter Dirix, Ineke Schuurman, Vincent Vandeghinste	METISII: Example-based Machine Translation Using Monolingual CorporaSystem Description.	MTSummit (Workshop)	2005	DBLP BibTeX RDF
17	Etienne Denoual	The Influence of Example-data Homogeneity on EBMT Quality.	MTSummit (Workshop)	2005	DBLP BibTeX RDF
17	Vincent Vandeghinste, Peter Dirix, Ineke Schuurman	Example-based Translation Without Parallel Corpora: First Experiments on a Prototype.	MTSummit (Workshop)	2005	DBLP BibTeX RDF
17	Ralf Klinkenberg	Learning drifting concepts: Example selection vs. example weighting.	Intell. Data Anal.	2004	DBLP BibTeX RDF
17	Hiroya Murao, Nobuo Kawaguchi, Shigeki Matsubara, Yukiko Yamaguchi, Kazuya Takeda, Yasuyoshi Inagaki	Example-based spoken dialogue system with online example augmentation.	INTERSPEECH	2004	DBLP DOI BibTeX RDF
17	Michel Raynal	Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example.	Euro-Par	1999	DBLP DOI BibTeX RDF
17	Pentti Kanerva	Large Patterns Make Great Symbols: An Example of Learning from Example.	Hybrid Neural Systems	1998	DBLP DOI BibTeX RDF
17	Peter Brusilovsky, Gerhard Weber 0001	Collaborative Example Selection in an Intelligent Example-based Programming Environment.	ICLS	1996	DBLP BibTeX RDF
17	Tony Owen	Numerical Recipes Book (PASCAL) by William H. Press, Brian P. Flannery, Saul A. Teukolsky and William T. Vetterling Cambridge University Press, Cambridge, 1990, 759 pages including index (£30.00 hdb).Numerical Recipes Diskette (PASCAL) version 2.0 by William H. Press, et al. Cambridge University Press, Cambridge, 03 1990 (£21.50).Numerical Recipes Example Handbook (PASCAL) by William H. Press, Brian P. Flannery, Saul A. Teukolsky and William T. Vetterling Cambridge University Press, Cambridge, 09 1990, 223 pages including index of demonstrated procedures (£19·50, hdb).Numerical Recipes Example Diskette (PASCAL) version 2.0 by William H. Press et al. Cambridge University Press, Cambridge, 02 1990 (£21.50).Numerical Recipes Routines and Examples in Basic by Julian C. Sprott Cambridge University Press, Cambridge (paperback), 1991, 398 pages including index of programs (£19.50; pbk).Numerical Recipes Diskette Basic version 1.0 by Julian C. Sprott Cambridge University Press, Cambridge, 1991 (£21.50).	Robotica	1992	DBLP DOI BibTeX RDF
17	Levent V. Orman	Rule by example: an example-based approach to knowledge-base management.	Knowl. Based Syst.	1991	DBLP DOI BibTeX RDF
17	Masami Hagiya	From Programming-by-Example to Proving-by-Example.	TACS	1991	DBLP DOI BibTeX RDF
17	Gábor Gosztolya, András Bánhalmi, László Tóth 0001	Using One-Class Classification Techniques in the Anti-phoneme Problem.	IbPRIA	2009	DBLP DOI BibTeX RDF	counter-example generation, Artificial Neural Networks, speech recognition, Gaussian Mixture Models, one-class classification
17	Jelena Tesic, Apostol Natsev, John R. Smith	Cluster-based data modeling for semantic video search.	CIVR	2007	DBLP DOI BibTeX RDF	imbalanced learning, clustering, semantic search, query by example, TRECVID, content modeling
17	Björn Hartmann, Leslie Wu, Kevin Collins, Scott R. Klemmer	Programming by a sample: rapidly creating web applications with d.mix.	UIST	2007	DBLP DOI BibTeX RDF	programming by example modification, web services, prototyping, mashups
17	Julien Fauqueur, Nozha Boujemaa	Mental image search by boolean composition of region categories.	Multim. Tools Appl.	2006	DBLP DOI BibTeX RDF	Mental image search, Visual thesaurus, Query by example paradigm, Region categories, Image google, Clustering, Content-based image retrieval, Inverted files, Boolean queries
17	Alexander Faaborg, Henry Lieberman	A goal-oriented web browser.	CHI	2006	DBLP DOI BibTeX RDF	ConceptNet, data detectors, open mind, software agents, context aware computing, programming by example, commonsense reasoning, TAP, goal-oriented design
17	Thorsten Hermes, Andrea Miene, Otthein Herzog	Graphical Search for Images by PictureFinder.	Multim. Tools Appl.	2005	DBLP DOI BibTeX RDF	image retrieval, similarity search, query by example, color matching
17	Max Mignotte	Nonparametric Multiscale Energy-Based Model and Its Application in Some Imagery Problems.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	Nonparametric multiscale energy-based (or multiresolution example-based) model, contour-based shape recognition, segmentation, Non-Photorealistic Rendering (NPR), inpainting, shape indexing
15	M. Natchez, T. Prose	Creating effective hypercard online documentation and training.	SIGDOC	1989	DBLP DOI BibTeX RDF
15	Charles R. Blair	On Computer Transcription of Manual Morse.	J. ACM	1959	DBLP DOI BibTeX RDF
15	Chisato Asaga, Yusuf Mukarramah, Chiemi Watanabe	ONOMATOPEDIA: Onomatopoeia Online Example Dictionary System Extracted from Data on the Web.	APWeb	2008	DBLP DOI BibTeX RDF
15	Bev Littlewood, David Wright 0001	The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Safety claims, safety arguments, software reliability, Bayesian belief networks, software safety
15	Nikhil Rasiwasia, Nuno Vasconcelos, Pedro J. Moreno 0001	Query by Semantic Example.	CIVR	2006	DBLP DOI BibTeX RDF
15	Amy P. Felty	A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code.	RTA	2005	DBLP DOI BibTeX RDF
15	Michelle X. Zhou, Min Chen, Ying Feng	Building a Visual Database for Example-based Graphics Generation.	INFOVIS	2002	DBLP DOI BibTeX RDF
15	Jianchao Han, Nick Cercone	Typical Example Selection for Learning Classifiers.	AI	2000	DBLP DOI BibTeX RDF	machine learning, classification, Data reduction
15	Aaron Lipman, Woodward Yang	VLSI hardware for example-based learning.	IEEE Trans. Very Large Scale Integr. Syst.	1997	DBLP DOI BibTeX RDF
15	Kyu-Young Whang, Arthur C. Ammann, Anthony Bolmarcich, Maria Hanrahan, Guy Hochgesang, Kuan-Tsae Huang, Al Khorasani, Ravi Krishnamurthy, Gary H. Sockut, Paula Sweeney, Vance E. Waddle, Moshé M. Zloof	Office-by-Example: An Integrated Office System and Database Manager.	ACM Trans. Inf. Syst.	1987	DBLP DOI BibTeX RDF
15	Robert P. Nix	Editing by Example.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
15	Martin Hofmann 0008	IGOR2 - an analytical inductive functional programming system: tool demo.	PEPM	2010	DBLP DOI BibTeX RDF	igor2, inductive programming, tool demo, example
15	Zhu Liu 0001, Tao Liu, David C. Gibbon, Behzad Shahraray	Effective and scalable video copy detection.	Multimedia Information Retrieval	2010	DBLP DOI BibTeX RDF	lsh, sift, query by example, ransac, multimedia content analysis, video copy detection
15	Priyanka Garg, S. Sundararajan	Active learning in partially supervised classification.	CIKM	2009	DBLP DOI BibTeX RDF	partially supervised classification, positive example based learners, active learning
15	Ebru Dogan, Mustafa Sert, Adnan Yazici	Content-Based Retrieval of Audio in News Broadcasts.	FQAS	2009	DBLP DOI BibTeX RDF	news broadcasts, fuzzy classes, query-by-example, audio retrieval
15	Nadine Weber, Raiko Eckstein, Andreas Henrich	Searching Multiple Artifacts: A Comprehensive Framework for Complex Search Situations.	FQAS	2009	DBLP DOI BibTeX RDF	Artifact Type Hierarchies, Framework, Ranking, Product Development, Query-By-Example, Parallel Coordinates, Faceted Search
15	Iván García-Magariño, Rubén Fuentes-Fernández, Jorge J. Gómez-Sanz	INGENIAS Development Process Assisted with Chains of Transformations.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Transformation By-Example, INGENIAS, Multi-Agent Systems, Model Transformation, Model-Driven Development
15	Carlos Eduardo Scheidegger, Huy T. Vo, David Koop, Juliana Freire, Cláudio T. Silva	Querying and re-using workflows with VsTrails.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	visualization, scientific workflows, provenance, analogy, query-by-example
15	Tommi Lahti, Marko Leonard Helén, Olli Vuorinen, Eero Väyrynen, Juha Partala, Johannes Peltola, Satu-Marja Mäkelä	On enabling techniques for personal audio content management.	Multimedia Information Retrieval	2008	DBLP DOI BibTeX RDF	personal audio content management, query-by-example, emotion detection, speaker segmentation, audio classification
15	Shinya Umeno	Event order abstraction for parametric real-time system verification.	EMSOFT	2008	DBLP DOI BibTeX RDF	automatic timing synthesis, counter-example guided abstraction refinement (cegar), event-based approach, parametric verification
15	Carlos Eduardo Scheidegger, Huy T. Vo, David Koop, Juliana Freire, Cláudio T. Silva	Querying and Creating Visualizations by Analogy.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	analogy, query-by-example, visualization systems
15	Ali Rahimi, Ben Recht, Trevor Darrell	Learning to Transform Time Series with a Few Examples.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	example-based tracking, nonlinear system identification, Semi-supervised learning, manifold learning
15	Paolo Viappiani, Pearl Pu, Boi Faltings	Conversational recommenders with adaptive suggestions.	RecSys	2007	DBLP DOI BibTeX RDF	example-critiquing interfaces, recommender systems, personalized search
15	Reid Holmes, Robert J. Walker, Gail C. Murphy	Approximate Structural Context Matching: An Approach to Recommend Relevant Examples.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	API usage, structural context, Strathcona, example recommendation, heuristic search
15	Chotirat Ann Ratanamahatana, Phubes Tohlong	Speech Audio Retrieval Using Voice Query.	ICADL	2006	DBLP DOI BibTeX RDF	voice search, time series, query by example, Audio retrieval
15	Pearl Pu, Paolo Viappiani, Boi Faltings	Increasing user decision accuracy using suggestions.	CHI	2006	DBLP DOI BibTeX RDF	consumer decision support, example / critiquing interfaces, user evaluation of interfaces, recommender systems
15	Ilyas Cicekli	Inducing translation templates with type constraints.	Mach. Transl.	2005	DBLP DOI BibTeX RDF	Machine learning, Example-based MT
15	Michael Carl	A system-theoretical view of EBMT.	Mach. Transl.	2005	DBLP DOI BibTeX RDF	Statistical EBMT, Statistical machine translation, System theory, Example-based machine translation, Emergent behaviour
15	Nader H. Bshouty, Lynn Burroughs	Maximizing Agreements with One-Sided Error with Applications to Heuristic Learning.	Mach. Learn.	2005	DBLP DOI BibTeX RDF	maximizing agreements, heuristic learning, approximation, Boolean formulas, example-based learning, agnostic learning
15	Ronnie Taib, Natalie Ruiz	Evaluating tangible objects for multimodal interaction design.	OZCHI	2005	DBLP DOI BibTeX RDF	design by example, multimodal user interaction design, user-centered design
15	Daniel Sýkora, Jan Buriánek, Jirí Zára	Unsupervised colorization of black-and-white cartoons.	NPAR	2004	DBLP DOI BibTeX RDF	color-by-example, image analogies, patch-based sampling, image processing, image segmentation, image registration, probabilistic relaxation
15	Alon Lavie, Stephan Vogel, Lori S. Levin, Erik Peterson, Katharina Probst, Ariadna Font Llitjós, Rachel Reynolds, Jaime G. Carbonell, Richard Cohen	Experiments with a Hindi-to-English transfer-based MT system under a miserly data scenario.	ACM Trans. Asian Lang. Inf. Process.	2003	DBLP DOI BibTeX RDF	limited data resources, multiengine machine translation, transfer rules, machine learning, Evaluation, Hindi, example-based machine translation, statistical translation
15	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding feasible abstract counter-examples.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Counter-example analysis, Model checking, Abstract interpretation, Software verification
15	Hong Chen, Nanning Zheng 0001, Lin Liang, Yan Li, Ying-Qing Xu, Heung-Yeung Shum	PicToon: a personalized image-based cartoon system.	ACM Multimedia	2002	DBLP DOI BibTeX RDF	multi-modal interaction and integration, non-parametric sampling, user interfaces, applications, lip-syncing, example-based learning
15	Aaron Hertzmann, Charles E. Jacobs, Nuria Oliver, Brian Curless, David Salesin	Image analogies.	SIGGRAPH	2001	DBLP DOI BibTeX RDF	texture-by-numbers, Markov random fields, non-photorealistic rendering, texture synthesis, autoregression, texture transfer, example-based rendering
15	Mark Seligman	Nine Issues in Speech Translation.	Mach. Transl.	2000	DBLP DOI BibTeX RDF	interactive disambiguation, pauses, speech recognition, example-based machine translation, dialogue acts, spoken language translation
15	Ricardo Caferra, Nicolas Peltier, François Puitg	Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF	Automated geometric reasoning, model (counter-example) building, proof structuring with diagrams, analogy, computer assisted learning
15	Fuji Ren	Dialogue Machine Translation System Using Multiple Translation Processors.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	dialogue machine translation system, multiple translation processors, natural dialogues, irregular expressions, natural conversation, ill-formed sentences, dialogue machine translation, MTP, translation processors, original language analysis, target language generation processing, Robust Parser based Translation Processor, Example Based Translation Processor, Family Modal based Translation Processor, Super Function based Translation Processor, information analysis model, syntactic constraint analysis model, semantic constraint analysis model, robust dialogue translation, language translation
15	Vangalur S. Alagar, L. Zhang	Automatic code generation for real-time reactive systems in TROMLAB environment.	RTCSA	2000	DBLP DOI BibTeX RDF	TROMLAB environment, rigorous framework, railroad crossing problem, benchmark example, generic real time Java libraries, Java code, Java, real-time systems, program compilers, automatic programming, software libraries, automatic code generation, real time reactive systems, implementation model
15	Lebelo Serutla, Derrick G. Kourie	Sentence Analysis Using a Concept Lattice.	AMTA	1998	DBLP DOI BibTeX RDF	machine learning, natural language processing, machine translation, concept lattice, example-based machine translation
15	Deyu Qi 0001	LOODS: a new learning-based object-oriented system development environment.	APSEC	1997	DBLP DOI BibTeX RDF	LOODS, object-oriented system development environment, object-oriented learning, terminal applications development environment, system modelling methodology, LOODS abstract models, LOODS visual language, concurrent information system modelling methodology, parallel information system modelling methodology, visual knowledge system, Novell network environment, object-oriented programming, C++, requirements analysis, learning-by-example
15	David Wai-Lok Cheung, Chi-Hung Lee, Vincent Ng 0002	A content-based search engine on medical images for telemedicine.	COMPSAC	1997	DBLP DOI BibTeX RDF	content-based search engine, visual query formation, textual descriptions, MIQS, textual queries, spatial object/image relationships, WWW, image retrieval, medical images, telemedicine, medical image processing, query by example, image content, client-server application, query specification, query by sketch, image database system
15	Tei-Wei Kuo, Shao-Juen Ho, Chih-Hung Wei, Farn Wang	PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems.	RTCSA	1997	DBLP DOI BibTeX RDF	PASS, prototyping environment, synthesis environment, event-driven model, end-to-end delay requirements, error propagation problem, chalkboard example, simulation, real-time systems, Ethernet, timing constraints, software prototyping
15	Manas Saksena, Paul Freedman, Pawel Rodziewicz	Guidelines for automated implementation of executable object oriented models for real-time embedded control systems.	RTSS	1997	DBLP DOI BibTeX RDF	control system analysis computing, automated implementation, executable object oriented models, real time embedded control systems, real time scheduling theory, ROOM methodology, telecommunications community, commercial systems, case tool ObjecTime, reactive real time behavior, hard real time components, cruise control example, ROOM model, executable models, priority inversions, temporal behavior, Real time Object Oriented Modeling
15	Jean Paul Stromboni	Partitioning regular computational graphs.	EUROMICRO	1997	DBLP DOI BibTeX RDF	regular computational graph partitioning, massive applications, computational graph, array processing operations, strong regularity, dependence vectors, loop parameters, periodic dependence constraints, small example regular graph, parallel processing, program analysis, signal processing, parallel machine, nested loops, application program, array signal processing, application designer, loop nests
15	Atsushi Inoue, Masahiro Ishiyama, Atsushi Fukumoto, Toshio Okamoto	Secure Mobile IP using IP Security Primitives.	WETICE	1997	DBLP DOI BibTeX RDF	secure mobile IP, IP security primitives, implementation example, security gateways, performance evaluation, Internet, mobile computing, protocol, internetworking, mobile hosts
15	Alberto Del Bimbo, Enrico Vicario	Visual Programming of Virtual Worlds Animation.	IEEE Multim.	1996	DBLP DOI BibTeX RDF	multi-agent animation, visual programming by example, Virtual reality, spatio-temporal reasoning
15	Günther Ruhe	Rough Set Based Data Analysis in Goal Oriented Software Measurement.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	Software Engineering data analysis, managing uncertainty, criticality of modules, COCOMO cost drivers, Rough Sets, learning by example, goal-oriented measurement
15	Stefan Fischer 0001, Jacek Wytrebowicz, Stanislaw Budkowski	Hardware/Software Co-Design of Communication Protocols.	EUROMICRO	1996	DBLP DOI BibTeX RDF	high performance distributed systems, system design techniques, standardized formal language Estelle, VHDL code, video-on-demand example, multimedia systems, multimedia systems, communication protocols, hardware/software codesign, C code
15	Florian Krohm, Andreas Kuehlmann, Arjen Mets	The use of random simulation in formal verification.	ICCD	1996	DBLP DOI BibTeX RDF	random simulation, BDD-based verification, counter example pattern, design partitioning, Boolean reasoning, formal verification, formal verification, hardware designs, functional equivalence
15	Haosong Kong, Ling Guan	Enhancement and real-time analysis of an adaptive impulsive noise removal method.	ICECCS	1996	DBLP DOI BibTeX RDF	adaptive impulsive noise removal method, TV picture transmission, numerical example, median-type filters, adaptive filters, adaptive filter, real-time processing, impulse noise, real-time analysis
15	Hideo Watanabe	A model of a bi-directional transfer mechanism using rule combinations.	Mach. Transl.	1995	DBLP DOI BibTeX RDF	transfer system, example-based approach, Machine translation
15	Michael J. Jones 0001, Tomaso A. Poggio	Model-Based Matching of Line Drawings by Linear Combinations of Prototypes.	ICCV	1995	DBLP DOI BibTeX RDF	model-based matching, pixelwise correspondences, example images, pixelwise correspondence, real grey level images, search, object recognition, edge detection, image sequences, image matching, image matching, error, object models, line drawings, linear combinations, object matching, flow fields
15	Ricardo L. de Queiroz, K. R. Rao 0001	Variable block size lapped transforms.	ICIP	1995	DBLP DOI BibTeX RDF	transfer function matrices, variable block size lapped transforms, time-varying block sizes, full orthogonality, transfer matrix, sample-shuffling stages, first order system, design example, delay, image coding, image coding, factorization, transform coding, transform coding, filter banks, band-pass filters, orthogonal factors
15	Hui Min Wang, Chung-Len Lee 0001, Jwu E. Chen	Factorization of Multi-Valued Logic Functions.	ISMVL	1995	DBLP DOI BibTeX RDF	multi-valued logic function factorization, multi valued logic functions, rectangular covering problem, MVL algebraic factorization algorithm, MVL Boolean properties, purely algebraic factorization algorithm, multilevel implementation, Boolean method, MVL example functions, computational complexity, complexity, Boolean functions, multivalued logic
15	Alioune Ngom, Corina Reischer, Ivan Stojmenovic	Classification of Functions and Enumeration of Bases of Set Logic under Boolean Compositions.	ISMVL	1995	DBLP DOI BibTeX RDF	set logic bases enumeration, functions classification, Boolean compositions, r-valued set logic, n-tuples, B-maximal sets, set logic, one-place example function, one-place set logic functions, B-Sheffer functions, Boolean functions, Boolean functions, set theory, multivalued logic
15	Grace Tsai, M. Insall, Bruce M. McMillin	Ensuring the satisfaction of a temporal specification at run-time.	ICECCS	1995	DBLP DOI BibTeX RDF	run-time temporal specification satisfaction, responsive computing system, run-time behavior, trace checking, fully distributed run-time evaluation system, train-set example, distributed system, real-time systems, real-time system, formal specification, temporal logic, distributed processing, software fault tolerance, fault-tolerant systems, interval temporal logic, operational environment