Search results for "tutorial"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Janice Ward	Making online training and support easier for everyone with viewlets.	SIGUCCS	2003	DBLP DOI BibTeX RDF	online support, web-based support, training, tutorial, demonstration
18	Timothy K. Shih	Software systems for virtual university operations.	ACM Multimedia	2001	DBLP DOI BibTeX RDF	web-based tutorial, assessment, distance Learning, distance education, virtual university
18	Timothy K. Shih, Nigel H. Lin, Yi-Jen Liu	Individualized Web Course Generation in Distance Learning.	ICME	2001	DBLP DOI BibTeX RDF	Web-based Tutorial, Assessment, Distance Learning, Distance Education, Virtual University
16	Olaf Hartig, Juan F. Sequeda, Jamie Taylor, Patrick Sinclair	How to consume linked data on the web: tutorial description.	WWW	2010	DBLP DOI BibTeX RDF	web of linked data, semantic web, application, linked data, consuming, web of data
16	Ian Birdsall, John Dickey	Half-day tutorial proposal: describing, building, and using the Public Administration Genome (PAG).	DG.O	2010	DBLP BibTeX RDF	collaboration, decision making, wikis, public administration, support system
16	Donald G. Firesmith	Engineering safety- and security-related requirements for software-intensive systems: tutorial summary.	ICSE (2)	2010	DBLP DOI BibTeX RDF	safety engineering, requirements engineering, security engineering, software-intensive systems
16	Andrew MacFarlane 0001	Teaching mathematics for search using a tutorial style of delivery.	Inf. Retr.	2009	DBLP DOI BibTeX RDF	Information retrieval, Teaching, Boolean logic, Information science
16	Fabian Mörchen	Tutorial CIDM-T Temporal pattern mining in symbolic time point and time interval data.	CIDM	2009	DBLP DOI BibTeX RDF
16	Ademar Aguiar	Tutorial on agile documentation with Wikis.	Int. Sym. Wikis	2009	DBLP DOI BibTeX RDF	Wikis for software engineering, collaboration, software development, Wikis, documentation
16	Luc De Raedt	Probabilistic Logic Learning - A Tutorial Abstract.	ICLP	2009	DBLP DOI BibTeX RDF	probabilistic logic learning, logic and learning, logic programming, inductive logic programming, statistical relational learning
16	Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce	Rule Systems for Runtime Verification: A Short Tutorial.	RV	2009	DBLP DOI BibTeX RDF	Java, temporal logic, Python, AspectJ, Runtime verification, log file analysis, code instrumentation, rule systems
16	Gio Wiederhold	Tutorial: How to Value Software in a Business, and Where Might the Value Go?.	CAiSE	2009	DBLP DOI BibTeX RDF
16	Lars Arge	Worst-case efficient range search indexing: invited tutorial.	PODS	2009	DBLP DOI BibTeX RDF	indexing, range search
16	Jennifer Golbeck	Tutorial on using social trust for recommender systems.	RecSys	2009	DBLP DOI BibTeX RDF	social networks, trust, recommender systems
16	John W. Dickey	Half-day tutorial: describing, building, and using the public administration genome (PAG).	D.GO	2009	DBLP BibTeX RDF	collaboration, decision making, wikis, public administration, support system
16	Janice Warner	Social networking -- technology, tools, and applications: a hands-on tutorial to make the most of the conference.	D.GO	2009	DBLP BibTeX RDF	social networks, tagging, wiki, blogs, mashups, twitter
16	Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie	Certified Static Analysis by Abstract Interpretation.	FOSAD	2009	DBLP DOI BibTeX RDF
16	Souripriya Das, Jagannathan Srinivasan	Database Technologies for RDF.	Reasoning Web	2009	DBLP DOI BibTeX RDF	data characteristics, storage architecture, ontology-assisted query, query hints, performance, indexing, inference, semantic query, bulk load, programming interface
16	Raffaele Giancarlo, Davide Scaturro, Filippo Utro	A Tutorial on Computational Cluster Analysis with Applications to Pattern Discovery in Microarray Data.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	hypothesis testing in statistics, Clustering algorithms, microarrays data analysis
16	Viswa Viswanathan	Rapid Web Application Development: A Ruby on Rails Tutorial.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
16	Shlomi Dolev	Tutorial Abstract Virtual Infrastructure.	SSS	2008	DBLP DOI BibTeX RDF
16	William Gropp, Ewing L. Lusk	EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach.	PVM/MPI	2008	DBLP DOI BibTeX RDF
16	Lisa Brownsword, Patrick Kirwan, Philip Boxer, Suzanne Garcia	Tutorial 1: Modeling Key Dynamics in Complex Systems (of Systems) Environments: Foundational Concepts.	ICCBSS	2008	DBLP DOI BibTeX RDF	modeling, systems of systems, Composite systems
16	Donald Firesmith	Tutorial 2: The Method Framework for Engineering System Architectures (MFESA): A Practical Way to Generate Effective and Efficient Project-Specific System Architecture Engineering Methods.	ICCBSS	2008	DBLP DOI BibTeX RDF	System Architecture Engineering, System Architecture, Method Engineering
16	Igor Santos, Leire Bastida Merino, Stefan Schuster	Tutorial 4: Adopting SOA.	ICCBSS	2008	DBLP DOI BibTeX RDF	SOA, Service Oriented Architecture, business process, deployment, lifecycle
16	Matt Kaufmann, J Strother Moore	An ACL2 Tutorial.	TPHOLs	2008	DBLP DOI BibTeX RDF
16	Peter W. O'Hearn	Separation Logic Tutorial.	ICLP	2008	DBLP DOI BibTeX RDF
16	Jian Pei, Ming Hua 0001, Yufei Tao 0001, Xuemin Lin 0001	Query answering techniques on uncertain and probabilistic data: tutorial summary.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	query processing, uncertain data, probabilistic data
16	Olivier Dameron, Julie Chabalier	Bio-ontologies Tutorial.	DILS	2008	DBLP DOI BibTeX RDF
16	Òscar Celma, Paul Lamere	If you like the beatles you might like...: a tutorial on music recommendation.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	complex network analysis, evaluation, social tagging, long tail, audio analysis, music recommender system
16	Nelly Fazio, Dulce B. Ponceleon	Tutorial on content protection.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	4c, aacs, blu-ray disc, broadcast encryption, traitor tracing
16	William Lundgren	Gedae's automated management of hierarchical memories on multicore processors Commercial Tutorial.	IPDPS	2008	DBLP DOI BibTeX RDF
16	Lorenzo Dematté, Corrado Priami, Alessandro Romanel	The BlenX Language: A Tutorial.	SFM	2008	DBLP DOI BibTeX RDF
16	John R. Koza	Introduction to genetic programming: tutorial.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	genetic programming
16	David S. Hardin	Invited Tutorial: Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications.	FMCAD	2008	DBLP DOI BibTeX RDF
16	Simon L. Peyton Jones, Satnam Singh	A Tutorial on Parallel and Concurrent Programming in Haskell.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
16	Fan Wang, Vishwani D. Agrawal	Single Event Upset: An Embedded Tutorial.	VLSI Design	2008	DBLP DOI BibTeX RDF
16	Jukka Linjama, Panu Korpipää, Juha Kela, Tapani Rantakokko	ActionCube: a tangible mobile gesture interaction tutorial.	TEI	2008	DBLP DOI BibTeX RDF	feedback, sound, haptic interaction, vibration, gesture input
16	Gilles Barthe, César Kunz	An Introduction to Certificate Translation.	FOSAD	2008	DBLP DOI BibTeX RDF
16	Steffen Staab, Ansgar Scherp, Richard Arndt, Raphaël Troncy, Marcin Grzegorzek, Carsten Saathoff, Simon Schenk, Lynda Hardman	Semantic Multimedia.	Reasoning Web	2008	DBLP DOI BibTeX RDF
16	Ulrike von Luxburg	A tutorial on spectral clustering.	Stat. Comput.	2007	DBLP DOI BibTeX RDF	Spectral clustering, Graph Laplacian
16	Geoffrey Smith 0001	Adversaries and Information Leaks (Tutorial).	TGC	2007	DBLP DOI BibTeX RDF
16	Wolfgang Aigner, Alessio Bertone, Silvia Miksch	Tutorial: Introduction to Visual Analytics.	USAB	2007	DBLP DOI BibTeX RDF	Analytical Reasoning, Human-Computer Interaction, Information Visualization, User-Centered Design, Visual Analytics
16	Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar	A Tutorial on Satisfiability Modulo Theories.	CAV	2007	DBLP DOI BibTeX RDF
16	Nicola Nicolici, Xiaoqing Wen	Embedded Tutorial on Low Power Test.	ETS	2007	DBLP DOI BibTeX RDF
16	Robert G. Sargent	A tutorial on verification and validation of simulation models (1984).	WSC	2007	DBLP BibTeX RDF
16	Timothy K. Shih	Digital inpainting: a tutorial.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	3D surface inpainting, image completion, video inpainting, image inpainting
16	Shervin Erfani	Tutorial 4: Wireless and Wireline Security Management.	ISCC	2007	DBLP DOI BibTeX RDF
16	Torsten Braun	Tutorial 2: Communication Protocols in Wireless Sensor Networks.	ISCC	2007	DBLP DOI BibTeX RDF
16	James Ohene-Djan, Benoy Sen	Maths Adaptive Tutorial System for Learners With Disabilities.	ICALT	2007	DBLP DOI BibTeX RDF
16	Gary T. Leavens	Tutorial on JML, the java modeling language.	ASE	2007	DBLP DOI BibTeX RDF	java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking
16	François Déchelle, Fabio Mancinelli	EDOS-Tools Tutorial: EDOS Tools for Linux Distributions Dependencies Management and Quality Assurance. (PDF / PS)	OSS	2007	DBLP DOI BibTeX RDF
16	P. Madhusudan	Learning Algorithms and Formal Verification (Invited Tutorial).	VMCAI	2007	DBLP DOI BibTeX RDF
16	Samarjit Chakraborty, Abhik Roychoudhury	Tutorial T8B: Performance Debugging of Complex Embedded Systems.	VLSI Design	2007	DBLP DOI BibTeX RDF
16	Vinod Kathail, Shail Aditya, Craig Gleason, Nagesh Chatekar	Tutorial T8A: Automated Application Engine Synthesis from C Algorithms.	VLSI Design	2007	DBLP DOI BibTeX RDF
16	Puranjoy Bhattacharya	Tutorial IND1A: NeXperia - A Versatile Configurable Platform for Home and Mobile Computing.	VLSI Design	2007	DBLP DOI BibTeX RDF
16	Subhomoy Chattopadhyay, Rakesh Patel	Tutorial T3: Low Power Design Techniques for Nanometer Design Processes - 65nm and Smaller.	VLSI Design	2007	DBLP DOI BibTeX RDF
16	C. J. Clark	Tutorial IND2B: Structured Embedded Configuration and Test.	VLSI Design	2007	DBLP DOI BibTeX RDF
16	Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea	A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions.	Lipari Summer School	2007	DBLP DOI BibTeX RDF
16	Daniel Le Métayer	IT Security Analysis Best Practices and Formal Approaches.	FOSAD	2007	DBLP DOI BibTeX RDF
16	Martín Abadi	Security Protocols: Principles and Calculi.	FOSAD	2007	DBLP DOI BibTeX RDF
16	Úlfar Erlingsson	Low-Level Software Security: Attacks and Defenses.	FOSAD	2007	DBLP DOI BibTeX RDF
16	Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.	FOSAD	2007	DBLP DOI BibTeX RDF
16	Ulrike Sattler	Reasoning in Description Logics: Basics, Extensions, and Relatives.	Reasoning Web	2007	DBLP DOI BibTeX RDF
16	Xiaojun Lin 0001, Ness B. Shroff, R. Srikant 0001	A Tutorial on Cross-Layer Optimization in Wireless Networks.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
16	Daniel Pérez Palomar, Mung Chiang	A Tutorial on Decomposition Methods for Network Utility Maximization.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
16	Ran Canetti	Security and composition of cryptographic protocols: a tutorial (part I).	SIGACT News	2006	DBLP DOI BibTeX RDF
16	Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg	Tutorial on Formal Methods for Distributed and Cooperative Systems.	ICTAC	2006	DBLP DOI BibTeX RDF
16	Bradford W. Mott, James C. Lester	Narrative-Centered Tutorial Planning for Inquiry-Based Learning Environments.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
16	Claus Zinn	Supporting Tutorial Feedback to Student Help Requests and Errors in Symbolic Differentiation.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
16	Peter Alfke	Tutorial: 65 NM FPGAs, A Look Under the Hood Technology, Features, and Applications.	FPL	2006	DBLP DOI BibTeX RDF
16	Charles M. Macal, Michael J. North	Tutorial on agent-based modeling and simulation part 2: how to model with agents.	WSC	2006	DBLP DOI BibTeX RDF
16	Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid	Finite State Machine IP Watermarking: A Tutorial.	AHS	2006	DBLP DOI BibTeX RDF
16	Rajiv V. Joshi, Kaustav Banerjee, André DeHon	Tutorial 1: Emerging Technologies for VLSI Design.	ISQED	2006	DBLP DOI BibTeX RDF
16	Janice Singer	Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE.	ASE	2006	DBLP DOI BibTeX RDF
16	Josephine Pelle, Roger Nkambou	Elaborating the Context of Interactions in a Tutorial Dialog.	IEA/AIE	2006	DBLP DOI BibTeX RDF
16	John M. Rushby	Tutorial: Automated Formal Methods with PVS, SAL, and Yices.	SEFM	2006	DBLP DOI BibTeX RDF
16	Pieter-Tjerk de Boer, Dirk P. Kroese, Shie Mannor, Reuven Y. Rubinstein	A Tutorial on the Cross-Entropy Method.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	randomized optimization, machine learning, Monte-Carlo simulation, rare events, cross-entropy method
16	Ian Sommerville	Integrated Requirements Engineering: A Tutorial.	IEEE Softw.	2005	DBLP DOI BibTeX RDF
16	Joseph Bergin, Eugene Wallingford	Test-first pair-programming tutorial.	ITiCSE	2005	DBLP DOI BibTeX RDF	test first programming, extreme programming, test driven development, pair programming
16	Charles M. Macal, Michael J. North	Tutorial on agent-based modeling and simulation.	WSC	2005	DBLP DOI BibTeX RDF
16	Matt Jones 0001, Gary Marsden	Mobile interaction design tutorial.	Mobile HCI	2005	DBLP DOI BibTeX RDF
16	Don S. Batory	A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite.	GTTSE	2005	DBLP DOI BibTeX RDF
16	Amy P. Felty	A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code.	RTA	2005	DBLP DOI BibTeX RDF
16	Keith L. Clark, Peter J. Robinson 0001, Silvana Zappacosta-Amboldi	Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper).	CLIMA	2005	DBLP DOI BibTeX RDF
16	Fariba Sadri	Using the KGP Model of Agency to Design Applications (Tutorial Paper).	CLIMA	2005	DBLP DOI BibTeX RDF
16	Robert Baumgartner, Thomas Eiter, Georg Gottlob, Marcus Herzog, Christoph Koch 0001	Information Extraction for the Semantic Web.	Reasoning Web	2005	DBLP DOI BibTeX RDF	Wrapper Languages and Systems, Semantic Web, Semi-structured Data, Web data extraction, Web data integration
16	Alexander J. Smola, Bernhard Schölkopf	A tutorial on support vector regression.	Stat. Comput.	2004	DBLP DOI BibTeX RDF	machine learning, support vector machines, regression estimation
16	Chris George	Tutorial on the RAISE Language, Method and Tools.	ICFEM	2004	DBLP DOI BibTeX RDF
16	Tomasz Szepieniec, Marcin Radecki, Katarzyna Rycerz, Marian Bubak, Maciej Malawski	Tools and Services for Interactive Applications on the Grid - The CrossGrid Tutorial.	PVM/MPI	2004	DBLP DOI BibTeX RDF
16	Theo C. Ruys, Gerard J. Holzmann	Advanced SPIN Tutorial.	SPIN	2004	DBLP DOI BibTeX RDF
16	Neil T. Heffernan, Ethan A. Croteau	Web-Based Evaluations Showing Differential Learning for Tutorial Strategies Employed by the Ms. Lindquist Tutor.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
16	Ethan A. Croteau, Neil T. Heffernan, Kenneth R. Koedinger	Why Are Algebra Word Problems Difficult? Using Tutorial Log Files and the Power Law of Learning to Select the Best Fitting Cognitive Model.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
16	Cem Kaner	Teaching the Software Testing Course: A Tutorial.	CSEE&T	2004	DBLP DOI BibTeX RDF
16	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen	A Tutorial on Uppaal.	SFM	2004	DBLP DOI BibTeX RDF
16	Jim Woodcock 0001, Ana Cavalcanti 0001	A Tutorial Introduction to Designs in Unifying Theories of Programming.	IFM	2004	DBLP DOI BibTeX RDF
16	Ana Cavalcanti 0001, Jim Woodcock 0001	A Tutorial Introduction to CSP in Unifying Theories of Programming.	PSSE	2004	DBLP DOI BibTeX RDF
16	Chris Lattner, Vikram S. Adve	The LLVM Compiler Framework and Infrastructure Tutorial.	LCPC	2004	DBLP DOI BibTeX RDF
16	Tero Harju, Ion Petre, Grzegorz Rozenberg	Tutorial on DNA Computing and Graph Transformation.	ICGT	2004	DBLP DOI BibTeX RDF
16	Luciano Baresi, Reiko Heckel	Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.	ICGT	2004	DBLP DOI BibTeX RDF