|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 878 occurrences of 611 keywords
|
|
|
Results
Found 2800 publication records. Showing 2800 according to the selection in the facets
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 |
Displaying result #1 - #100 of 2800 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|