Search results for "tutorial"

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