|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 30811 occurrences of 10923 keywords
|
|
|
Results
Found 35636 publication records. Showing 35636 according to the selection in the facets
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 |
Displaying result #101 - #200 of 35636 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|