|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2255 occurrences of 1408 keywords
|
|
|
Results
Found 7231 publication records. Showing 7230 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Luca de Alfaro, Felipe Ortega |
Measuring Wikipedia: a hands-on tutorial. |
Int. Sym. Wikis |
2009 |
DBLP DOI BibTeX RDF |
WikiTrust, WikiXRay, data mining, measurements, Wikipedia, empirical research |
23 | Harry Foster |
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial). |
CAV |
2008 |
DBLP DOI BibTeX RDF |
Simulation, Formal Verification, Debugging, Assertion, Functional Verification, Property Specification, Assertion-Based Verification |
23 | Georgi Goguadze, Erica Melis |
One Exercise - Various Tutorial Strategies. |
Intelligent Tutoring Systems |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Armin Biere |
Tutorial on Model Checking: Modelling and Verification in Computer Science. |
AB |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Vijay Gehlot, Anush Hayrapetyan |
Systems modeling and analysis using colored Petri Nets: a tutorial introduction and practical applications. |
ACM Southeast Regional Conference |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Daniel M. Germán |
Intellectual Property for Software (Re-)Engineers and Researchers: A Tutorial. |
WCRE |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Alejandro Jaimes, Nicu Sebe |
Human-centered multimedia systems: tutorial overview. |
ACM Multimedia |
2007 |
DBLP DOI BibTeX RDF |
multimedia, multimodal interaction, human-computer interfaces, human-centered computing |
23 | Srinivas Aluru, David A. Bader, Anantharaman Kalyanaraman |
Symposium Evening Tutorial: High-performance Computing Methods for Computational Genomics. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Mario Baldi |
Tutorial 1: Interactive multimedia networking. |
ISCC |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Sevan G. Ficici, Anthony Bucci |
Advanced tutorial on coevolution. |
GECCO (Companion) |
2007 |
DBLP DOI BibTeX RDF |
CCEA, archive methods, complexification, order theory, evaluation, dynamical systems, coevolution, neuroevolution, evolutionary game theory, NEAT, cooperative coevolution, pareto coevolution, elaboration, coevolutionary algorithm |
23 | Maria A. Wimmer, Roland Traunmüller |
Tutorial and workshop on knowledge management in public administration. |
ICEGOV |
2007 |
DBLP DOI BibTeX RDF |
architectures, knowledge management, knowledge, information, knowledge structuring |
23 | Jacob A. Abraham, Daniel G. Saab |
Tutorial T4A: Formal Verification Techniques and Tools for Complex Designs. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Sanjay Gupta, Taranjit Kukal, Alok Tripathi, Raja Mitra, Ashish Patni, Siddarth Shetty |
Tutorial T7B: RF Analysis and Simulation with Focus on RF SiP Methodology. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain |
Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Sarma B. K. Vrudhula, Sarvesh Bhardwaj |
Tutorial T6: Robust Design of Nanoscale Circuits in the Presence of Process Variations. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Uma Maheswar Rao, Suneel Sinha, Naveen Shenoy |
Tutorial IND1B: Realtime Operating Systems for Embedded Systems Development. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
23 | J. A. Gilles Doiron |
On-Campus Blended Learning: Using Discussion Forums for Peer Collaboration on Tutorial Assignments. |
EC-TEL |
2006 |
DBLP DOI BibTeX RDF |
|
23 | R. Charles Murray, Kurt VanLehn |
A Comparison of Decision-Theoretic, Fixed-Policy and Random Tutorial Action Selection. |
Intelligent Tutoring Systems |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Alfred Bork |
Designing Highly Adaptive Tutorial Learning Units. |
ICALT |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt |
Verifying Object-Oriented Programs with KeY: A Tutorial. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Bran Selic |
Tutorial: an overview of UML 2. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
model-driven archtiecture, UML, unified modeling language, model-driven development |
23 | Paola Rizzo, Hyokyeong Lee, Erin Shaw, W. Lewis Johnson, Ning Wang 0012, Richard E. Mayer |
A Semi-automated Wizard of Oz Interface for Modeling Tutorial Strategies. |
User Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Vijay Pitchumani |
Embedded tutorial I: design for manufacturability. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Peretz Shoval |
Tutorial 2: FOOM - Functional and Object Oriented Methodology: An Integrated Approach. |
ER (Workshops) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Johannes Gehrke |
Models and methods for privacy-preserving data publishing and analysis: invited tutorial. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Jianna J. Zhang, Huy Nguyen |
An example oriented on-line Java tutorial for university students. |
PPPJ |
2004 |
DBLP BibTeX RDF |
|
23 | Edmund M. Clarke, Daniel Kroening |
Tutorial: Software Model Checking. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Bran Selic |
Tutorial: An Overview of UML 2.0. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
23 | C. Mohan 0001 |
Tutorial: application servers and associated technologies. |
SIGMOD Conference |
2002 |
DBLP DOI BibTeX RDF |
Java, XML |
23 | Stacy Lukins, Alan Levicki, Jennifer Burg |
A tutorial program for propositional logic with human/computer interactive learning. |
SIGCSE |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Philippe Kruchten, Bran Selic, Wojtek Kozaczynski |
Tutorial: describing software architecture with UML. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
UML |
23 | Luciano Lavagno, Sujit Dey, Rajesh K. Gupta 0001 |
Specification, Modeling and Design Tools for System-on-Chip (Tutorial Abstract). |
ASP-DAC/VLSI Design |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan |
Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract). |
ASP-DAC/VLSI Design |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Mauro Andreolini, Valeria Cardellini, Michele Colajanni |
Benchmarking Models and Tools for Distributed Web-Server Systems. |
Performance |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Marco Bernardo 0001, Lorenzo Donatiello, Paolo Ciancarini |
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. |
Performance |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Virgílio A. F. Almeida |
Capacity Planning for Web Services. |
Performance |
2002 |
DBLP DOI BibTeX RDF |
|
23 | R. Charles Murray, Kurt VanLehn |
DT Tutor: A Decision-Theoretic, Dynamic Approach for Optimal Selection of Tutorial Actions. |
Intelligent Tutoring Systems |
2000 |
DBLP DOI BibTeX RDF |
|
23 | José A. Blakeley, Anand Deshpande |
Tutorial: Data Access. |
SIGMOD Conference |
2000 |
DBLP DOI BibTeX RDF |
database connectivity, data access |
23 | Stephen G. Pulman |
Tutorial: Automated Deduction and Natural Language Understanding. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Ingrid Verbauwhede, Chris Nicol |
Low power DSP's for wireless communications (embedded tutorial session). |
ISLPED |
2000 |
DBLP DOI BibTeX RDF |
programmable processors, architectures, wireless communications, digital signal processing |
23 | Cristina Videira Lopes, Gregor Kiczales |
Improving design and source code modularity using AspectJ (tutorial session). |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
Java |
23 | Gregory J. Kirsch, Yannis Skulikaris |
Intellectual property protection for software in the United States and Europe (tutorial session): the changing roles of patents and copyrights. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Bev Littlewood, Lorenzo Strigini |
Software reliability (tutorial session): basic concepts and assessment methods. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Bev Littlewood, Lorenzo Strigini |
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Steve Vinoski |
Introduction to CORBA (tutorial session). |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
CORBA, CORBA, distributed applications, OMG, POA |
23 | Steve Vinoski |
Scalability issues in CORBA-based systems (tutorial session). |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
scalability, CORBA, CORBA, distributed applications, OMG, POA |
23 | Joseph Gil, John Howse, Stuart Kent 0001 |
Advanced visual modeling (tutorial session): beyond UML. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
UML |
23 | Rick Kazman, Mark Klein |
Designing and analyzing software architectures using ABASs (tutorial session). |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
architecture design, architectural styles, quality attributes, architecture analysis |
23 | Mary Lou Soffa |
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Tomasz Janowski |
Semantics and Logic for Provable Fault-Tolerance, A Tutorial. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Daniela Florescu, Alon Y. Levy |
Recent Progress in Data Integration - A Tutorial. |
ADBIS |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Prasun Dewan |
Designing and Implementing Collaborative Applications (Tutorial). |
CSCW |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Matthias Jarke, John Mylopoulos |
Cooperative Information Systems: A Research Agenda (Tutorial). |
CSCW |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Starr Roxanne Hiltz, Murray Turoff |
Asynchronous Learning Networks: The Theory and Practice of Collaborative Learning Online (Tutorial). |
CSCW |
1996 |
DBLP DOI BibTeX RDF |
|
23 | John Carroll, Carmen Sears |
Community Networks (Tutorial). |
CSCW |
1996 |
DBLP DOI BibTeX RDF |
|
23 | John P. Gallagher |
Tutorial on Specialisation of Logic Programs. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Saul Gorn |
Transparent-mode control procedures for data communication, using the American standard code for information interchange - a tutorial. |
Commun. ACM |
1965 |
DBLP DOI BibTeX RDF |
|
21 | Dan Klein |
Introduction to Classification: Likelihoods, Margins, Features, and Kernels. |
HLT-NAACL (Tutorial Abstracts) |
2007 |
DBLP BibTeX RDF |
|
21 | ChengXiang Zhai |
Statistical Language Models for Information Retrieval. |
HLT-NAACL (Tutorial Abstracts) |
2007 |
DBLP BibTeX RDF |
|
21 | K. Bretonnel Cohen |
BioNLP. |
HLT-NAACL (Tutorial Abstracts) |
2007 |
DBLP BibTeX RDF |
|
20 | Preslav Nakov, Alexis Palmer (eds.) |
Proceedings of the 57th Conference of the Association for Computational Linguistics: Tutorial Abstracts, ACL 2019, Florence, Italy, July 28, 2019, Volume 4: Tutorial Abstracts |
ACL (4) |
2019 |
DBLP BibTeX RDF |
|
20 | Arnd Hartmanns, Holger Hermanns |
A Modest Markov Automata Tutorial. |
Reasoning Web |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Marius Pasca |
Wikipedia as a Resource for Text Analysis and Retrieval. |
ACL (4) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Goran Glavas, Federico Nanni, Simone Paolo Ponzetto |
Computational Analysis of Political Texts: Bridging Research Efforts Across Communities. |
ACL (4) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | André F. T. Martins, Tsvetomila Mihaylova, Nikita Nangia, Vlad Niculae |
Latent Structure Models for Natural Language Processing. |
ACL (4) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jen-Tzung Chien |
Deep Bayesian Natural Language Processing. |
ACL (4) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Shafiq R. Joty, Giuseppe Carenini, Raymond T. Ng, Gabriel Murray |
Discourse Analysis and Its Applications. |
ACL (4) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Koller, Stephan Oepen, Weiwei Sun |
Graph-Based Meaning Representations: Design and Processing. |
ACL (4) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Katarzyna Budzynska, Chris Reed 0001 |
Advances in Argument Mining. |
ACL (4) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Abhijit Mishra, Anirban Laha, Karthik Sankaranarayanan, Parag Jain, Saravanan Krishnan |
Storytelling from Structured Data and Knowledge Graphs : An NLG Perspective. |
ACL (4) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Ruder, Anders Søgaard, Ivan Vulic |
Unsupervised Cross-Lingual Representation Learning. |
ACL (4) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Kevin Langlois, Tom van der Hoeven, David Rodriguez-Cianca, Tom Verstraten, Tomislav Bacek, Bryan Convens, Carlos Rodriguez Guerrero, Victor Grosu, Dirk Lefeber, Bram Vanderborght |
EtherCAT Tutorial: An Introduction for Real-Time Hardware Communication on Windows [Tutorial]. |
IEEE Robotics Autom. Mag. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Nabin Maharjan, Vasile Rus |
A Tutorial Markov Analysis of Effective Human Tutorial Sessions. |
NLP-TEA@ACL |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Nabin Maharjan, Vasile Rus, Dipesh Gautam |
Discovering Effective Tutorial Strategies in Human Tutorial Sessions. |
FLAIRS |
2018 |
DBLP BibTeX RDF |
|
20 | Virginia Tassinari, Liesbeth Huybrechts, Ezio Manzini |
Tutorial DESIS philosophy talk #6.4 regenerating democracy: a design contribution. |
PDC (2) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Jacopo Urbani |
Reasoning at Scale (Tutorial). |
Reasoning Web |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Ismail Ilkan Ceylan, Thomas Lukasiewicz |
A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases. |
Reasoning Web |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Peter Corke |
Robot Manipulator Capability in MATLAB: A Tutorial on Using the Robotics System Toolbox [Tutorial]. |
IEEE Robotics Autom. Mag. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Roland Kaminski, Torsten Schaub, Philipp Wanko |
A Tutorial on Hybrid Answer Set Solving with clingo. |
Reasoning Web |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Krystyna W. Ohnesorge, Kuldar Aas, Janet Delve, Zoltan Lux, Phillip Mike Tømmerholt, Anders Bo Nielsen, Marcel Büchler |
Tutorial on Relational Database Preservation: Tutorial. |
iPRES |
2016 |
DBLP BibTeX RDF |
|
20 | Jarkko Kari |
Tutorial on Cellular Automata and Tilings (Tutorial). |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Spiegelman, Idit Keidar, Dahlia Malkhi |
Dynamic Reconfiguration: A Tutorial (Tutorial). |
OPODIS |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin N. Grosof, Michael Kifer, Paul Fodor |
The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation). |
Reasoning Web |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Robson Brino Faggiani |
Analysis of the components of a computer-based tutorial to teach the implementation of discrete trials (Análise de componentes de um tutorial computadorizado para ensinar a realização de tentativas discretas). |
|
2014 |
RDF |
|
20 | Wil M. P. van der Aalst |
Process Mining in the Large: A Tutorial. |
eBISS |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub |
EasyCrypt: A Tutorial. |
FOSAD |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Annajirao Garimella, Punith R. Surkanti, Paul M. Furth |
Embedded Tutorial ET1: Pole-Zero Analysis of Low-Dropout (LDO) Regulators: A Tutorial Overview. |
VLSI Design |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Marcus Spies |
Knowledge Discovery from Constrained Relational Data: A Tutorial on Markov Logic Networks. |
eBISS |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Joseph A. Konstan |
Tutorial / HCI for recommender systems: a tutorial. |
IUI |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Min Chi, Kurt VanLehn, Diane J. Litman |
Do Micro-Level Tutorial Decisions Matter: Applying Reinforcement Learning to Induce Pedagogical Tutorial Tactics. |
Intelligent Tutoring Systems (1) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Mark Harman, Phil McMinn, Jerffeson Teixeira de Souza, Shin Yoo |
Search Based Software Engineering: Techniques, Taxonomy, Tutorial. |
LASER Summer School |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Jan-Michael Frahm, Jannick P. Rolland, Andrei State, Ozan Cakmakci |
Tutorials - MAR Tutorial 1 (half day) & ISMAR Tutorial 2 (half day). |
ISMAR |
2006 |
DBLP DOI BibTeX RDF |
|
20 | W. Lewis Johnson, Paola Rizzo, Wauter Bosma, Sander Kole, Mattijs Ghijsen, Herwin van Welbergen |
Generating Socially Appropriate Tutorial Dialog. |
ADS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Eike Best, Maciej Koutny |
Process Algebra: A Petri-Net-Oriented Tutorial. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
Petri nets, process algebras |
20 | Henry Chang |
Platform-Based Design: A Tutorial (Tutorial Abstract). |
ISQED |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Paul Hudak |
Haskore Music Tutorial. |
Advanced Functional Programming |
1996 |
DBLP DOI BibTeX RDF |
|
20 | David M. Lucantoni |
The BMAP/G/1 QUEUE: A Tutorial. |
Performance/SIGMETRICS Tutorials |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Fabio Panzieri, Renzo Davoli |
Real Time Systems: A Tutorial. |
Performance/SIGMETRICS Tutorials |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Murray Eisenberg, Howard A. Peelle |
APL problem-solving (tutorial session): a tutorial. |
APL Session Tutorials |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Nancy Wheeler |
APL2 and SQL (tutorial session): a tutorial. |
APL Session Tutorials |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 7230 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|