Search results for "tutorial"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Riccardo Focardi	Static Analysis of Authentication.	FOSAD	2004	DBLP DOI BibTeX RDF
16	Davide Maltoni	A Tutorial on Fingerprint Recognition.	Advanced Studies in Biometrics	2003	DBLP DOI BibTeX RDF
16	Paola Bruscoli, Alessio Guglielmi	A Tutorial on Proof Theoretic Foundations of Logic Programming.	ICLP	2003	DBLP DOI BibTeX RDF
16	Donna D. Mayo, Knud Erik Wichmann	Strategy simulations: tutorial on business and market modeling to aid strategic decision making: system dynamics in perspective and selecting appropriate analyssis approaches.	WSC	2003	DBLP DOI BibTeX RDF
16	Aaron Hertzmann	Machine Learning for Computer Graphics: A Manifesto and Tutorial.	PG	2003	DBLP DOI BibTeX RDF
16	Michael Collins 0001	Tutorial: Machine Learning Methods in Natural Language Processing.	COLT	2003	DBLP DOI BibTeX RDF
16	Michael L. Littman	Tutorial: Learning Topics in Game-Theoretic Decision Making.	COLT	2003	DBLP DOI BibTeX RDF
16	Bran Selic	Tutorial H2: An Overview of UML 2.0.	ICSE	2003	DBLP DOI BibTeX RDF
16	Nicolai N. Vorobjov Jr.	Effective Quantifier Elimination over Real Closed Fields (Tutorial).	CSL	2003	DBLP DOI BibTeX RDF
16	Ahmed Bouajjani	Verification of Infinite State Systems (Tutorial).	CSL	2003	DBLP DOI BibTeX RDF
16	Elio Giovannetti	Ambient Calculi with Types: A Tutorial.	Global Computing	2003	DBLP DOI BibTeX RDF
16	John P. Hayes	Tutorial: basic concepts in quantum circuits.	DAC	2003	DBLP DOI BibTeX RDF
16	Carey L. Williamson	Wireless Internet: Protocols and Performance.	MASCOTS Tutorials	2003	DBLP DOI BibTeX RDF
16	Jonathan Billington, Guy Edward Gallasch, Bing Han	A Coloured Petri Net Approach to Protocol Verification.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
16	Hartmut Ehrig, Julia Padberg	Graph Grammars and Petri Net Transformations.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
16	Johan Bengtsson, Wang Yi 0001	Timed Automata: Semantics, Algorithms and Tools.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
16	Richard H. Thayer	Software System Engineering: A Tutorial.	Computer	2002	DBLP DOI BibTeX RDF
16	Jörg Rothe	Some facets of complexity theory and cryptography: A five-lecture tutorial.	ACM Comput. Surv.	2002	DBLP DOI BibTeX RDF	public-key cryptography, Complexity theory, one-way functions, interactive proof systems, zero-knowledge protocols
16	Wolfgang Thomas	Infinite Games and Verification (Extended Abstract of a Tutorial).	CAV	2002	DBLP DOI BibTeX RDF
16	George N. Rouskas, Harry G. Perros	A Tutorial on Optical Networks.	NETWORKING Tutorials	2002	DBLP DOI BibTeX RDF
16	Dennis Dams	Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography).	SPIN	2002	DBLP DOI BibTeX RDF
16	Claus Zinn, Johanna D. Moore, Mark G. Core	A 3-Tier Planning Architecture for Managing Tutorial Dialogue.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
16	Mikhail Smirnow	Internet Middleware (Tutorial).	IDMS/PROMS	2002	DBLP DOI BibTeX RDF
16	Henning Schulzrinne	Internet Multimedia - Streaming Media (Tutorial).	IDMS/PROMS	2002	DBLP DOI BibTeX RDF
16	Fernando Pereira 0001	Media Representation Standards for the New Millennium (Tutorial).	IDMS/PROMS	2002	DBLP DOI BibTeX RDF
16	Jack Mostow, Joseph E. Beck, Raghu Chalasani, Andrew Cuneo, Peng Jia	Viewing and Analyzing Multimodal Human-computer Tutorial Dialogue: A Database Approach.	ICMI	2002	DBLP DOI BibTeX RDF
16	Massood Towhidnejad, Thomas B. Hilburn	Tutorial 3: Software Quality Across the Curriculum.	CSEE&T	2002	DBLP DOI BibTeX RDF
16	Klaus Schmid, Isabel John	Tutorial on Practical Product Line Scoping and Modeling.	ICSR	2002	DBLP DOI BibTeX RDF
16	Ben Shneiderman	Creativity support tools: a tutorial overview.	Creativity & Cognition	2002	DBLP DOI BibTeX RDF	models of the user creativity, software tools, creativity, innovation, design environments, knowledge work, empowerment, software integration, consultation
16	Craig Larman	Tutorial: mastering design patterns.	ICSE	2002	DBLP DOI BibTeX RDF
16	Philippe Kruchten	Tutorial: introduction to the rational unified process®.	ICSE	2002	DBLP DOI BibTeX RDF	UML
16	Fairouz Kamareddine	On Functions and Types: A Tutorial.	SOFSEM	2002	DBLP DOI BibTeX RDF
16	Vincenzo Grassi, Vittorio Cortellessa, Raffaela Mirandola	Performance Validation of Mobile Software Architectures.	Performance	2002	DBLP DOI BibTeX RDF
16	Erol Gelenbe	G-Networks: Multiple Classes of Positive Customers, Signals, and Product Form Results.	Performance	2002	DBLP DOI BibTeX RDF
16	Jerry Rolia, Rich Friedrich, Chandrakant D. Patel	Service Centric Computing - Next Generation Internet Computing.	Performance	2002	DBLP DOI BibTeX RDF
16	David D. Yao	Dynamic Scheduling via Polymatroid Optimization.	Performance	2002	DBLP DOI BibTeX RDF
16	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	Automated Performance and Dependability Evaluation Using Model Checking.	Performance	2002	DBLP DOI BibTeX RDF
16	James A. Ferwerda	Elements of Early Vision for Computer Graphics (Tutorial).	IEEE Computer Graphics and Applications	2001	DBLP DOI BibTeX RDF
16	Jim R. Davies, Abigail S. Gertner, Neal Lesh, Charles Rich, Candace L. Sidner, Jeff Rickel	Incorporating tutorial strategies into an intelligent assistant.	IUI	2001	DBLP DOI BibTeX RDF	collaboration, software agents, intelligent tutoring systems, discourse, intelligent assistants
16	Raquel Kolitski Stasiu, Jaime de Britto, João da Silva Dias, Edson Emílio Scalabrin	Teaching of Electrocardiogram Interpretation Guided by a Tutorial Expert.	CBMS	2001	DBLP DOI BibTeX RDF	Expert Systems, Object Oriented Modelling, Learning Systems, Tutor, Cardiology
16	Vinícius P. Correia, André Inácio Reis	A Tutorial Tool for Switch Logic.	MSE	2001	DBLP DOI BibTeX RDF
16	Kurt C. Wallnau, Scott A. Hissam, Robert C. Seacord	Half day tutorial in methods of component-based software engineering essential concepts and classroom experience.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	software method, design, analysis, software development process, component-based software engineering
16	D. K. Misra, D. Eungdamrong	Coaxial aperture electrical sensor and its application-a tutorial overview.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
16	Wei-Chung Cheng, Massoud Pedram	Memory Bus Encoding for Low Power: A Tutorial.	ISQED	2001	DBLP DOI BibTeX RDF
16	Carlos A. Coello Coello	A Short Tutorial on Evolutionary Multiobjective Optimization.	EMO	2001	DBLP DOI BibTeX RDF
16	Jan Van den Bussche	Constraint databases: A tutorial introduction.	SIGMOD Rec.	2000	DBLP DOI BibTeX RDF
16	Mark Hereld, Ivan R. Judson, Rick L. Stevens	Tutorial: Introduction to Building Projection-based Tiled Display Systems.	IEEE Computer Graphics and Applications	2000	DBLP DOI BibTeX RDF
16	William J. Schroeder, Lisa Sobierajski Avila, William Hoffman	Visualizing with VTK: A Tutorial.	IEEE Computer Graphics and Applications	2000	DBLP DOI BibTeX RDF
16	Pierre Wolper	Constructing Automata from Temporal Logic Formulas: A Tutorial.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
16	Yervant Zorian, Michael Nicolaidis, Peter Muhmenthaler, David Y. Lepejian, Chris W. H. Strolenberg, Kees Veelenturf	Tutorial Statement.	DATE	2000	DBLP DOI BibTeX RDF
16	Shridhar Shukla, Anand Deshpande	Tutorial: LDAP Directory Services - Just Another Database Application?	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
16	Matthew W. Rohrer	AutoMod product suite: AutoMod tutorial.	WSC	2000	DBLP DOI BibTeX RDF
16	Moshe Y. Vardi	Constraint Satisfaction and Database Theory: a Tutorial.	PODS	2000	DBLP DOI BibTeX RDF
16	Ashish Gupta 0001	Entrepreneurship for Information Systems Researchers (Abstract of Invited Tutorial).	PODS	2000	DBLP DOI BibTeX RDF
16	Peter B. Andrews, Chad E. Brown	Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic.	CADE	2000	DBLP DOI BibTeX RDF
16	Naresh R. Shanbhag, Krishnamurthy Soumyanath, Samuel Martin	Reliable low-power design in the presence of deep submicron noise (embedded tutorial session).	ISLPED	2000	DBLP DOI BibTeX RDF
16	Eric Fosler-Lussier	A Tutorial on Pronunciation Modeling for Large Vocabulary Speech Recognition.	ELSNET Summer School	2000	DBLP DOI BibTeX RDF
16	Gian Pietro Picco	Understanding code mobility (tutorial session).	ICSE	2000	DBLP DOI BibTeX RDF
16	Hassan Gomaa	Designing real-time and distributed applications with the UML (tutorial session).	ICSE	2000	DBLP DOI BibTeX RDF	UML, UML, real-time, software design, distributed application
16	Grigoris Antoniou	A tutorial on default logics.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF	nonmonotonic reasoning, default logic, operational models
16	Sami Iren, Paul D. Amer, Phillip T. Conrad	The transport layer: tutorial and survey.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF	TCP/IP networks, transport service, congestion control, transport protocol, flow control
16	Joseph Sifakis	The Compositional Specification of Timed Systems - A Tutorial.	CAV	1999	DBLP DOI BibTeX RDF
16	Isaac Pak-Wah Fung, Ray H. Kemp	On Developing Case-Based Tutorial Systems with Conceptual Graphs.	ICCS	1999	DBLP DOI BibTeX RDF
16	Rolf Ernst, Kees A. Vissers, Pieter van der Wolf, Gert-Jan van Rootselaar	System level design and debug of high-performance embedded media systems (tutorial).	ICCAD	1999	DBLP BibTeX RDF
16	Ellen Sentovich, David L. Dill, Serdar Tasiran	Formal verification meets simulation (tutorial abstract).	ICCAD	1999	DBLP BibTeX RDF
16	Jacob K. White 0001, Gary K. Fedder, Tamal Mukherjee	Path toward future CAD environments for MEMS (tutorial abstract).	ICCAD	1999	DBLP DOI BibTeX RDF
16	Wayne P. Burleson, Maciej J. Ciesielski, Fabian Klass, W. Liu	Wave-pipelining: a tutorial and research survey.	IEEE Trans. Very Large Scale Integr. Syst.	1998	DBLP DOI BibTeX RDF
16	Gray Clossman, Phil Shaw, Mark Hapner, Johannes Klein, Richard Pledereder, Brian Becker	Java and Relational Databases: SQLJ (Tutorial).	SIGMOD Conference	1998	DBLP DOI BibTeX RDF	Java Relational, ORDBMS, SQLJ, Java, Java, SQL, SQL, JDBC
16	Lewis Barnett, Joseph F. Kent, Justin Casp, David Green	Design and implementation of an interactive tutorial framework.	SIGCSE	1998	DBLP DOI BibTeX RDF
16	N. Raja 0001, R. K. Shyamasundar	Mobile Computation: Calculus and Languages (A Tutorial).	ASIAN	1998	DBLP DOI BibTeX RDF
16	Pamela Zave	'Calls Considered Harmful' and Other Observations: A Tutorial on Telephony.	Services and Visualization: Towards User-Friendly Design	1998	DBLP DOI BibTeX RDF
16	William I. Grosky	Managing Multimedia Information in a Database Environment - A Tutorial.	ADBIS	1998	DBLP DOI BibTeX RDF
16	Hans Schaefer	Tutorial: organizing, managing and optimizing software testing.	APSEC	1997	DBLP DOI BibTeX RDF	serious defects, testing process control, software testing, program testing, cost, philosophy
16	Dennis E. Shasha	Lessons from Wall Street: Case Studies in Configuration, Tuning, and Distribution (Tutorial).	SIGMOD Conference	1997	DBLP DOI BibTeX RDF
16	Michael J. Carey 0001, Nelson Mendonça Mattos, Anil K. Nori	Object-Relational Database Systems: Principles, Products, and Challenges (Tutorial).	SIGMOD Conference	1997	DBLP DOI BibTeX RDF
16	Zoubin Ghahramani	Learning Dynamic Bayesian Networks.	Summer School on Neural Networks	1997	DBLP DOI BibTeX RDF
16	Alessandro Sperduti	Neural Networks for Processing Data Structures.	Summer School on Neural Networks	1997	DBLP DOI BibTeX RDF
16	Stephen Dean Brown, Jonathan Rose	FPGA and CPLD Architectures: A Tutorial.	IEEE Des. Test Comput.	1996	DBLP DOI BibTeX RDF
16	Christine Halverson, Yvonne Rogers	An Introduction to Distributed Cognition: Analyzing the Organizational, the Social and the Cognitive for Designing and Implementing CSCW Applications (Tutorial).	CSCW	1996	DBLP DOI BibTeX RDF
16	Alison Lee, Andreas Girgensohn	Developing Collaborative Applications Using the World Wide Web Shell (Tutorial).	CSCW	1996	DBLP DOI BibTeX RDF	World Wide Web (WWW)
16	David G. Post	Law in Cyberspace (Tutorial).	CSCW	1996	DBLP DOI BibTeX RDF
16	Steven E. Poltrock, Jonathan Grudin	CSCW, Groupware and Workflow: Experiences, State of Art and Future Trends (Tutorial).	CSCW	1996	DBLP DOI BibTeX RDF
16	John L. Bennett, John Karat	Working Through Meetings: A Framework for Designing Meeting Support (Tutorial).	CSCW	1996	DBLP DOI BibTeX RDF
16	Robert S. Fish, Robert E. Kraut	Networking for Collaboration: Video Telephony and Media Conferencing (Tutorial).	CSCW	1996	DBLP DOI BibTeX RDF
16	Frank von Martial	Business Process Reengineering and its Role in Developing CSCW Applications (Tutorial).	CSCW	1996	DBLP DOI BibTeX RDF
16	Nicole Yankelovich	An Introduction to the Internet and How it can be Used for Collaboration for K-12 Teachers (Tutorial).	CSCW	1996	DBLP DOI BibTeX RDF	Internet
16	Davis Pan	A Tutorial on MPEG/Audio Compression.	IEEE Multim.	1995	DBLP DOI BibTeX RDF
16	Amit P. Sheth	Workflow Automation: Applications, Technology, and Research (Tutorial).	SIGMOD Conference	1995	DBLP DOI BibTeX RDF
16	Bruce F. Cockburn	Tutorial on semiconductor memory testing.	J. Electron. Test.	1994	DBLP DOI BibTeX RDF	Design for testability, fault models, functional test, memory testing, memory design
16	Rakesh Agrawal 0001	Tutorial Database Mining.	PODS	1994	DBLP DOI BibTeX RDF
16	Charles Consel, Olivier Danvy	Tutorial Notes on Partial Evaluation.	POPL	1993	DBLP DOI BibTeX RDF
16	Bruno Siciliano	Kinematic control of redundant robot manipulators: A tutorial.	J. Intell. Robotic Syst.	1990	DBLP DOI BibTeX RDF	robot kinematic control, singularities, optimization methods, projection operators, Redundant manipulators, pseudoinverses
16	M. K. Eck	A hyperCard tutorial that accommodates different learning styles.	SIGUCCS	1989	DBLP DOI BibTeX RDF	HyperCard
16	David Finkel, Gary Haggard	Program complexity: a tutorial.	SIGCSE	1988	DBLP DOI BibTeX RDF
16	Michael C. McFarland, Alice C. Parker, Raul Camposano	Tutorial on High-Level Synthesis.	DAC	1988	DBLP BibTeX RDF
16	Curtis H. Parks	Tutorial: Reading and Reviewing the Common Schema for Electrical Design and Analysis.	DAC	1987	DBLP DOI BibTeX RDF
16	William P. Birmingham, Rostam Joobbani, Jin Kim	Knowlege-based expert systems and their application (tutorial session.	DAC	1986	DBLP DOI BibTeX RDF
16	E. Ted Grinthal	Software quality assurance for CAD (tutorial).	DAC	1985	DBLP DOI BibTeX RDF
16	Susan L. Taylor, Roderic Beresford, Theodore Sabety	Layout design-lessons from the Jedi designer (tutorial session).	DAC	1985	DBLP DOI BibTeX RDF
16	David J. Mishelevich	Hospital information systems tutorial: a guide for computer scientists and practitioners.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF