|
|
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 |
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 |
|
Displaying result #601 - #700 of 7230 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|