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