Search results for "lectures"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
114	Anastasios Karakostas, Stavros N. Demetriadis, Vasiliki Ragazou, Maria Amarlariotou	e-Lectures to support blended instruction in multimedia programming course.	ITiCSE	2010	DBLP DOI BibTeX RDF	multimedia programming, blended learning, e-lectures
86	Yu-Jin Kim, Jin Ah Bae, Byeong Ho Jeon	Students' Visual Perceptions of Virtual Lectures as Measured by Eye Tracking.	HCI (1)	2009	DBLP DOI BibTeX RDF	Virtual lectures, user-centered screen design, eye tracking, visual perception, learning performance, virtual studios
86	Robert Mertens, Rosta Farzan, Peter Brusilovsky	Social navigation in web lectures.	Hypertext	2006	DBLP DOI BibTeX RDF	presentation recoding, web lectures, user interfaces, video, hypermedia, social navigation, continuous media, lecture recording
76	Jason A. Day, James D. Foley	Evaluating web lectures: a case study from HCI.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	educational study design, web lectures, educational technology, HCI education
66	Benjoe A. Juliano, Chi-Hui Chen, Elena Kroumova	Observations from using two modes of teaching undergraduate computer architecture.	ITiCSE	2003	DBLP DOI BibTeX RDF	evaluating learning and teaching, online course delivery and management, web-based learning, teaching methods, teaching materials
65	Wolfgang Hürst, Martina Welte, Sabine Jung	An evaluation of the mobile usage of e-lecture podcasts.	Mobility Conference	2007	DBLP DOI BibTeX RDF	apple iPod, e-lectures podcasts, lecture casting, mobile media players, user study, lecture recordings, educational multimedia, e-lectures
62	Kenneth E. Hoganson, David Lebron	Lectures for Mobile Devices, Evaluating "iPod/PDA-casting" Technology and Pedagogy.	ITNG	2007	DBLP DOI BibTeX RDF
54	Olivier Bousquet, Ulrike von Luxburg, Gunnar Rätsch (eds.)	Advanced Lectures on Machine Learning, ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures	Advanced Lectures on Machine Learning	2004	DBLP DOI BibTeX RDF
54	Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.)	Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned]	Lectures on Concurrency and Petri Nets	2004	DBLP DOI BibTeX RDF
54	Léon Bottou	Stochastic Learning.	Advanced Lectures on Machine Learning	2003	DBLP DOI BibTeX RDF
54	Michael E. Tipping	Bayesian Inference: An Introduction to Principles and Practice in Machine Learning.	Advanced Lectures on Machine Learning	2003	DBLP DOI BibTeX RDF
54	Christophe Andrieu	Monte Carlo Methods for Absolute Beginners.	Advanced Lectures on Machine Learning	2003	DBLP DOI BibTeX RDF
54	Zoubin Ghahramani	Unsupervised Learning.	Advanced Lectures on Machine Learning	2003	DBLP DOI BibTeX RDF
54	Carl Edward Rasmussen	Gaussian Processes in Machine Learning.	Advanced Lectures on Machine Learning	2003	DBLP DOI BibTeX RDF
54	Stéphane Boucheron, Gábor Lugosi, Olivier Bousquet	Concentration Inequalities.	Advanced Lectures on Machine Learning	2003	DBLP DOI BibTeX RDF
54	Olivier Bousquet, Stéphane Boucheron, Gábor Lugosi	Introduction to Statistical Learning Theory.	Advanced Lectures on Machine Learning	2003	DBLP DOI BibTeX RDF
54	Christopher J. C. Burges	Some Notes on Applied Mathematics for Machine Learning.	Advanced Lectures on Machine Learning	2003	DBLP DOI BibTeX RDF
54	Elad Yom-Tov	An Introduction to Pattern Classification.	Advanced Lectures on Machine Learning	2003	DBLP DOI BibTeX RDF
54	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
54	Dan Barak, David Harel, Rami Marelly	InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Simona Bernardi 0001, Andrea Bobbio, Susanna Donatelli	Petri Nets and Dependability.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	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
54	Reiko Heckel, Hendrik Voigt	Model-Based Development of Executable Business Processes for Web Services.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Blaise Genest, Anca Muscholl, Doron A. Peled	Message Sequence Charts.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Hartmut Ehrig, Julia Padberg	Graph Grammars and Petri Net Transformations.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Jörg Desel, Vesna Milijic, Christian Neumair	Model Validation in Controller Design.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Philippe Darondeau	Unbounded Petri Net Synthesis.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Robin Milner	Bigraphs for Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Josep Carmona 0001, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev	Synthesis of Asynchronous Hardware from Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Laura Recalde, Manuel Silva Suárez, Joaquin Ezpeleta, Enrique Teruel	Petri Nets and Manufacturing Systems: An Examples-Driven Tour.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Johan Bengtsson, Wang Yi 0001	Timed Automata: Semantics, Algorithms and Tools.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen	Application of Coloured Petri Nets in System Development.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Gabriel Juhás, Robert Lorenz 0001, Christian Neumair	Modelling and Control with Modules of Signal Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Søren Christensen, Jens Bæk Jørgensen	Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Rüdiger Valk	Object Petri Nets: Using the Nets-within-Nets Paradigm.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Giovanni Denaro, Mauro Pezzè	Petri Nets and Software Engineering.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Wil M. P. van der Aalst	Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF	XML Process Definition Language(XPDL), Workflow verification, Workflow management, Business process management, Workflow management systems, Workflow patterns
54	Nadia Busi, Roberto Gorrieri	A Survey on Non-interference with Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
54	Mogens Nielsen, Frank D. Valencia	Notes on Timed Concurrent Constraint Programming.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
53	Alf Inge Wang, Terje Øfsdahl, Ole Kristian Mørch-Storstein	An Evaluation of a Mobile Game Concept for Lectures.	CSEE&T	2008	DBLP DOI BibTeX RDF
52	Jaspal Subhlok, Olin G. Johnson, Venkat Subramaniam, Ricardo Vilalta, Chang Yun	Tablet PC video based hybrid coursework in computer science: report from a pilot project.	SIGCSE	2007	DBLP DOI BibTeX RDF	video lectures, online learning, tablet PC, hybrid learning
47	Kazuo Ushijima	Construction and Practice of a New Educational Environment with Lecture Recording System.	AINA (1)	2004	DBLP DOI BibTeX RDF
43	Daniel D. Garcia, Gene Zhang, Sean Carr, Sameer Iyengar, Hava Edelstein, Albert Liu	The Weiner lecture archives: an ontology-driven interface for viewing synchronized lectures and notes.	SIGCSE	2010	DBLP DOI BibTeX RDF	slide synchronization, synchronized multimedia integration language, ontology, distance learning, smil, topic hierarchy, webcast
43	Dilmurat Tilwaldi, Toshiya Takahashi, Yuichiro Mishima, Jun Sawamoto, Hisao Koizumi	A Smart Method of Cooperative Learning Including Distant Lectures and Its Experimental Evaluations.	EUC Workshops	2005	DBLP DOI BibTeX RDF
43	I-Chun Lai, Kuo-Yu Liu, Hao-Tung Lin, Herng-Yow Chen	Efficient Methods for Skimming the Web-Based Synchronization Multimedia Lectures.	ICWL	2004	DBLP DOI BibTeX RDF
43	Guido Rößling, Christoph Trompler, Max Mühlhäuser, Susanne Köbler, Susanne Wolf	Enhancing classroom lectures with digital sliding blackboards.	ITiCSE	2004	DBLP DOI BibTeX RDF	VMB, digital lecture hall, digital sliding blackboards
40	Peter Y. A. Ryan	Mathematical Models of Computer Security.	FOSAD	2000	DBLP DOI BibTeX RDF
40	Joshua D. Guttman	Security Goals: Packet Trajectories and Strand Spaces.	FOSAD	2000	DBLP DOI BibTeX RDF
39	Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu	Monitoring Events that Carry Data.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
39	Christian Colombo 0001, Gordon J. Pace	Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
39	Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan 0001	Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
39	Adrian Francalanza, Jorge A. Pérez 0001, César Sánchez 0001	Runtime Verification for Decentralised and Distributed Systems.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
39	João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar	Discovering Concurrency Errors.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
39	Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha	Runtime Failure Prevention and Reaction.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
39	Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger	Introduction to Runtime Verification.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
39	Erich Grädel	Back and forth between logic and games.	Lectures in Game Theory for Computer Scientists	2011	DBLP BibTeX RDF
39	Laurent Doyen 0001, Jean-François Raskin	Games with imperfect information: theory and algorithms.	Lectures in Game Theory for Computer Scientists	2011	DBLP BibTeX RDF
39	Krzysztof R. Apt	A primer on strategic games.	Lectures in Game Theory for Computer Scientists	2011	DBLP BibTeX RDF
39	Marcin Jurdzinski	Algorithms for solving parity games.	Lectures in Game Theory for Computer Scientists	2011	DBLP BibTeX RDF
39	Antonín Kucera 0001	Turn-based stochastic games.	Lectures in Game Theory for Computer Scientists	2011	DBLP BibTeX RDF
39	Stephan Kreutzer	Graph searching games.	Lectures in Game Theory for Computer Scientists	2011	DBLP BibTeX RDF
39	Joseph Y. Halpern	Beyond Nash equilibrium: solution concepts for the 21st century.	Lectures in Game Theory for Computer Scientists	2011	DBLP BibTeX RDF
39	Christof Löding	Infinite games and automata theory.	Lectures in Game Theory for Computer Scientists	2011	DBLP BibTeX RDF
39	Paul Timmers	Measurement, Policy and Research Issues of a New Phenomena.	Lectures in E-Commerce	2001	DBLP DOI BibTeX RDF
39	Günter Müller	Security in E-Commerce.	Lectures in E-Commerce	2001	DBLP DOI BibTeX RDF
39	Ulrike Gretzel, Daniel R. Fesenmaier	Defining Internet Readiness for the Tourism Industry: Concepts and Case Study.	Lectures in E-Commerce	2001	DBLP DOI BibTeX RDF
39	Paula M. C. Swatman, Elsie S. K. Chan	E-Commerce/E-Business Education: Pedagogy or New Product Development?	Lectures in E-Commerce	2001	DBLP DOI BibTeX RDF
39	Yannis Bakos, Erik Brynjolfsson	Aggregation and Disaggregation of Information Goods: Implications for Bundling, Site Licensing, and Micropayment Systems.	Lectures in E-Commerce	2001	DBLP DOI BibTeX RDF
39	Alina M. Chircu, Robert J. Kauffman	A Framework for Performance and Value Assessment of E-Business Systems in Corporate Travel Distribution.	Lectures in E-Commerce	2001	DBLP DOI BibTeX RDF
39	Hans Ulrich Buhl, Dennis Kundisch, Andreas Leinfelder, Werner Steck	Strategies for the Financial Services Industry in the Internet Age.	Lectures in E-Commerce	2001	DBLP DOI BibTeX RDF
39	Rudolf Müller	Auctions - the Big Winner Among Trading Mechanisms for the Internet Economy.	Lectures in E-Commerce	2001	DBLP DOI BibTeX RDF
39	Peter Buxmann	XML@work: The Case of a Next-Generation EDI Solution.	Lectures in E-Commerce	2001	DBLP DOI BibTeX RDF
39	Ivan Damgård (eds.)	Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998	Lectures on Data Security	1999	DBLP DOI BibTeX RDF
39	Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)	Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997)	Lectures on Proof Verification and Approximation Algorithms	1998	DBLP DOI BibTeX RDF
39	Ronald Cramer	Introduction to Secure Computation.	Lectures on Data Security	1998	DBLP DOI BibTeX RDF
39	Mihir Bellare	Practice-Oriented Provable Security.	Lectures on Data Security	1998	DBLP DOI BibTeX RDF
39	Burton S. Kaliski Jr.	Emerging Standards for Public-Key Cryptography.	Lectures on Data Security	1998	DBLP DOI BibTeX RDF
39	Peter Landrock	Primality Tests and Use of Primes in Public-Key Systems.	Lectures on Data Security	1998	DBLP DOI BibTeX RDF
39	Bart Preneel	The State of Cryptographic Hash Functions.	Lectures on Data Security	1998	DBLP DOI BibTeX RDF
39	Lars R. Knudsen	Contemporary Block Ciphers.	Lectures on Data Security	1998	DBLP DOI BibTeX RDF
39	Torben P. Pedersen	Signing Contracts and Paying Electronically.	Lectures on Data Security	1998	DBLP DOI BibTeX RDF
39	Ivan Damgård	Commitment Schemes and Zero-Knowledge Protocols.	Lectures on Data Security	1998	DBLP DOI BibTeX RDF
39	Stefan Wolf 0001	Unconditional Security in Cryptography.	Lectures on Data Security	1998	DBLP DOI BibTeX RDF
39	Louis Salvail	The Search for the Holy Grail in Quantum Cryptography.	Lectures on Data Security	1998	DBLP DOI BibTeX RDF
39	Richard Mayr, Annette Schelten	Polynomial Time Approximation Schemes for Geometric Optimization Problems in Euclidean Metric Spaces.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
39	Volker Heun, Wolfgang Merkle, Ulrich Weigand	Proving the PCP-Theorem.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
39	Sebastian Seibert, Thomas Wilke	Bounds for Approximating MAXLINEQ3-2 and MAXEKSAT.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
39	Alexander Wolff 0001	The Hardness of Approximating Set Cover.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
39	Thomas Jansen 0001	Introduction to the Theory of Complexity and Approximation Algorithms.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
39	Martin Mundhenk, Anna Slobodová	Optimal Non-approximability of MAXCLIQUE.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
39	Clemens Gröpl, Martin Skutella	Parallel Repetition of MIP(2, 1) Systems.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
39	Katja Wolf	Dense Instances of Hard Optimization Problems.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
39	Thomas Hofmeister, Martin Hühne	Semidefinite Programming and Its Applications to Approximation Algorithms.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
39	Artur Andrzejak 0001	Introduction to Randomized Algorithms.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
39	Claus Rick, Hein Röhrig	Deriving Non-approximability Results by Reductions.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
39	Detlef Sieling	Derandomization.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
39	Stefan Hougardy	Proof Checking and Non-approximability.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
38	Markus Ketterl, Robert Mertens 0002, Johannes Emden, Oliver Vornberger	History-Aware User Awareness in Web Lectures.	ISM	2010	DBLP DOI BibTeX RDF	web lectures, user awareness, opencast, multimedia, social networks, e-learning, web 2.0