Search results for "foundations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	The Univalent Foundations Program	Homotopy Type Theory: Univalent Foundations of Mathematics.	CoRR	2013	DBLP DOI BibTeX RDF
58	The Univalent Foundations Program	Homotopy Type Theory: Univalent Foundations of Mathematics.		2013	RDF
44	Radim Belohlávek, Vilém Vychodil	Logical Foundations for Similarity-Based Databases.	DASFAA Workshops	2009	DBLP DOI BibTeX RDF
40	Yingxu Wang	On the Cognitive Informatics Foundations of Software Engineering.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	nature of software, informatics laws, programming psychology, software engineering, cognitive models, Cognitive informatics, foundations
38	Yiyu Yao, Ning Zhong 0001, Yan Zhao 0001	A Conceptual Framework of Data Mining.	Data Mining: Foundations and Practice	2008	DBLP DOI BibTeX RDF
37	Radim Belohlávek, Vilém Vychodil	Query systems in similarity-based databases: logical foundations, expressive power, and completeness.	SAC	2010	DBLP DOI BibTeX RDF	domain relational calculus, query system, similarity-based databases, relational databases, residuated lattices
35	Ingrid Hotz, Roxana Bujack, Christoph Garth, Bei Wang 0001	Mathematical Foundations in Visualization.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
35	Oded Goldreich 0001	On the foundations of cryptography.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
35	Peter J. F. Lucas, Arjen Hommersom	How to Read the Book "Foundations of Biomedical Knowledge Representation".	Foundations of Biomedical Knowledge Representation	2015	DBLP DOI BibTeX RDF
35	Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent	Foundations for a Fourth Normal Form over SQL-Like Databases.	Conceptual Modelling and Its Theoretical Foundations	2012	DBLP DOI BibTeX RDF
35	Felix Brandt 0001, Vincent Conitzer, Lane A. Hemaspaandra, Jean-François Laslier, William S. Zwicker	10101 Executive Summary - Computational Foundations of Social Choice.	Computational Foundations of Social Choice	2010	DBLP BibTeX RDF
35	Felix Brandt 0001, Vincent Conitzer, Lane A. Hemaspaandra, Jean-François Laslier, William S. Zwicker	10101 Abstracts Collection - Computational Foundations of Social Choice.	Computational Foundations of Social Choice	2010	DBLP BibTeX RDF
35	Zong Woo Geem	Global Optimization Using Harmony Search: Theoretical Foundations and Applications.	Foundations of Computational Intelligence (3)	2009	DBLP DOI BibTeX RDF
35	Swagatam Das, Arijit Biswas, Sambarta Dasgupta, Ajith Abraham	Bacterial Foraging Optimization Algorithm: Theoretical Foundations, Analysis, and Applications.	Foundations of Computational Intelligence (3)	2009	DBLP DOI BibTeX RDF
35	Jorge Guajardo, Bart Preneel, Pim Tuyls, Ahmad-Reza Sadeghi	09282 Abstracts Collection - Foundations for Forgery-Resilient Cryptographic Hardware.	Foundations for Forgery-Resilient Cryptographic Hardware	2009	DBLP BibTeX RDF
35	Jorge Guajardo, Bart Preneel, Ahmad-Reza Sadeghi, Pim Tuyls	09282 Executive Summary - Foundations for Forgery-Resilient Cryptographic Hardware.	Foundations for Forgery-Resilient Cryptographic Hardware	2009	DBLP BibTeX RDF
35	Samuel L. Braunstein, Hoi-Kwong Lo, Kenny Paterson, Peter Y. A. Ryan	09311 Abstracts Collection - Classical and Quantum Information Assurance Foundations and Practice.	Classical and Quantum Information Assurance Foundations and Practice	2009	DBLP BibTeX RDF
35	Alessandro Artale, Enrico Franconi	Foundations of Temporal Conceptual Data Models.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
35	Ran Canetti, Shafi Goldwasser, Günter Müller, Rainer Steinwandt	08491 Abstracts Collection - Theoretical Foundations of Practical Information Security.	Theoretical Foundations of Practical Information Security	2008	DBLP BibTeX RDF
35	Ran Canetti, Shafi Goldwasser, Günter Müller, Rainer Steinwandt	08491 Executive Summary - Theoretical Foundations of Practical Information Security.	Theoretical Foundations of Practical Information Security	2008	DBLP BibTeX RDF
35	J. T. Yao 0001, Y. Y. Yao, Yan Zhao 0001	Foundations of Classification.	Foundations and Novel Approaches in Data Mining	2006	DBLP DOI BibTeX RDF
35	Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini	06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems.	Foundations and Practice of Programming Multi-Agent Systems	2006	DBLP BibTeX RDF
35	Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein	06201 Executive Summary -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery.	Combinatorial and Algorithmic Foundations of Pattern and Association Discovery	2006	DBLP BibTeX RDF
35	Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini	06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems.	Foundations and Practice of Programming Multi-Agent Systems	2006	DBLP BibTeX RDF
35	Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein	06201 Abstracts Collection -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery.	Combinatorial and Algorithmic Foundations of Pattern and Association Discovery	2006	DBLP BibTeX RDF
35	José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing	05081 Abstracts Collection - Foundations of Global Computing.	Foundations of Global Computing	2005	DBLP BibTeX RDF
35	Frank Neven, Thomas Schwentick, Dan Suciu	05061 Abstracts Collection - Foundations of Semistructured Data.	Foundations of Semistructured Data	2005	DBLP BibTeX RDF
35	Frank Neven, Thomas Schwentick, Dan Suciu	05061 Summary - Foundations of Semi-structured Data.	Foundations of Semistructured Data	2005	DBLP BibTeX RDF
35	William F. McColl	Foundations of Time-Critical Scalable Computing.	IFIP Congress: Fundamentals - Foundations of Computer Science	1998	DBLP BibTeX RDF
35	Stefan Schirra	Precision and Robustness in Geometric Computations.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
35	Edouard Bugnion, Thomas Roos, Roger Wattenhofer, Peter Widmayer	Space Filling Curves versus Random Walks.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
35	Jürg Nievergelt, Peter Widmayer	Spatial Data Structures: Concepts and Design Choices.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
35	Marc J. van Kreveld	Digital Elevation Models and TIN Algorithms.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
35	Mark de Berg	Visualization of TINs.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
35	Robert Weibel	Generalization of Spatial Data: Principles and Selected Algorithms.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
35	Lars Arge	External-Memory Algorithms with Applications in GIS.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
35	Jürg Nievergelt	Introduction to Geometric Computing: From Algorithms to Software.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
35	Christopher M. Gold, Peter R. Remmele	Voronoi Methods in GIS.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
35	Joachim Weickert	Theoretical Foundations of Anisotropic Diffusion in Image Processing.	Theoretical Foundations of Computer Vision	1994	DBLP DOI BibTeX RDF
35	Georgy L. Gimel'farb	Symmetric Bi- and Trinocular Stereo: Tradeoffs between Theoretical Foundations and Heuristics.	Theoretical Foundations of Computer Vision	1994	DBLP DOI BibTeX RDF
35	Upen S. Chakravarthy, John Grant, Jack Minker	Foundations of Semantic Query Optimization for Deductive Databases	Foundations of Deductive Databases and Logic Programming.	1988	DBLP DOI BibTeX RDF
33	Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann	The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes.	MFCS	1999	DBLP DOI BibTeX RDF
33	M. Randall Holmes	Symmetry as a Criterion for Comprehension Motivating Quine's 'New Foundations'.	Stud Logica	2008	DBLP DOI BibTeX RDF	New Foundations, Rieger-Bernays permutation methods, symmetry
33	Roman Knöll, Mira Mezini	Pegasus: first steps toward a naturalistic programming language.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	cognitive foundations of programming, natural language programming, naturalistic programming, philosophical foundations of programming, aspect-oriented programming, language design
32	Qing Shi Gao, Xiao Yu Gao, Lei Xu 0001	A Probability Theory Perspective on the Zadeh Fuzzy System.	Data Mining: Foundations and Practice	2008	DBLP DOI BibTeX RDF
32	Jan Rauch	Classes of Association Rules: An Overview.	Data Mining: Foundations and Practice	2008	DBLP DOI BibTeX RDF
32	Bhavani Thuraisingham	On the Complexity of the Privacy Problem in Databases.	Data Mining: Foundations and Practice	2008	DBLP DOI BibTeX RDF
32	Luca Cardelli, John C. Mitchell	Operations on Records.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
32	Elsa L. Gunter	Pseudo-Retract Functors for Local Lattices and Bifinite L-domains.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
32	Carl A. Gunter	Comparing Categories of Domains.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
30	Heriberto Maury Ramírez, Carles Riba Romeva	Theoretical Foundations for Knowledge-Based Conceptual Design of Complex Systems.	CDVE	2005	DBLP DOI BibTeX RDF
30	Michael Leyton	Shape as Memory Storage.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
30	Jens Dibbern, Tim Goles, Rudy Hirschheim, Bandula Jayatilaka	Information systems outsourcing: a survey and analysis of the literature.	Data Base	2004	DBLP DOI BibTeX RDF	research approaches, outsourcing, determinants, relationships, literature review, theoretical foundations, outcomes
30	Anthony Anjorin, Hsiang-Shang Ko, Erhan Leblebici	C-Lenses Explained: Bx Foundations for the Rest of Us.	STAF Workshops	2021	DBLP BibTeX RDF
30	Jacob P. Reher, Ayonga Hereid, Shishir Kolathaya, Christian M. Hubicki, Aaron D. Ames	Algorithmic Foundations of Realizing Multi-Contact Locomotion on the Humanoid Robot DURUS.	WAFR	2016	DBLP DOI BibTeX RDF
27	Jan M. Zytkow, Zbigniew W. Ras	Foundations and Discovery of Operational Definitions.	ISMIS	2000	DBLP DOI BibTeX RDF
27	Joshua D. Guttman	Security Goals: Packet Trajectories and Strand Spaces.	FOSAD	2000	DBLP DOI BibTeX RDF
27	Peter D. Mosses	Foundations of Modular SOS.	MFCS	1999	DBLP DOI BibTeX RDF
27	Patrice Chalin	Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Logical foundations, Static program verification, Survey, Assertions, Design by contract, Industrial practice, Extended static checking, Runtime assertion checking
27	T. S. E. Maibaum	Mathematical foundations of software engineering: a roadmap.	ICSE - Future of SE Track	2000	DBLP DOI BibTeX RDF	normal design, radical design, engineering, epistemology, foundations
27	Zinovy Diskin	On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000).	TOOLS (37)	2000	DBLP DOI BibTeX RDF	business domains, toposes, generalized sketch, predefined signature, visualization superstructures, business specifications, logical derivation, algebraic term rewriting, systems analysis, directed graphs, directed graph, business modeling, diagrams, diagrams, labels, predicate, corporate modelling, mathematical foundations
27	Paul Helman, Gunar E. Liepins	Statistical Foundations of Audit Trail Analysis for the Detection of Computer Misuse.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	audit trail analysis, computer misuse, computer transactions, stationary stochastic processes, misuse detectors, detection accuracy, transaction attributes, statistical foundations, modeling, transaction processing, NP-hard, security of data, stochastic processes, auditing, density estimation, system security, computer crime, heuristic approach
27	David A. Gustafson, Joo T. Tan, Perla Weaver	Software Measure Specification.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF	foundations of measures, properties of measures, proving properties, metrics, software measures, measurement theory
25	Bernhard Preim, Alark Joshi	Evaluation of Visualization Systems with Long-Term Case Studies.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Johanna Beyer, Charles D. Hansen, Mario Hlawitschka, Ingrid Hotz, Barbora Kozlíková, Gerik Scheuermann, Markus Stommel, Marc Streit, Johannes Waschke, Thomas Wischgoll, Yong Wan	Case Studies for Working with Domain Experts.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Caroline Ziemkiewicz, Min Chen 0001, David H. Laidlaw, Bernhard Preim, Daniel Weiskopf	Open Challenges in Empirical Visualization Research.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Helen-Nicole Kostis, Miguel O. Roman, Virginia L. Kalb, Eleanor C. Stokes, Ranjay M. Shrestha, Zhuosen Wang, Lori Schultz, Qingsong Sun, Jordan R. Bell, Andrew L. Molthan, Ryan Boller, Assaf Anyamba	Reaching Broad Audiences from a Large Agency Setting.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	G. Elisabeta Marai, Torsten Möller	The Fabric of Visualization.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Penny Rheingans, Helen-Nicole Kostis, Paulo A. Oemig, Geraldine B. Robbins, Anders Ynnerman	Reaching Broad Audiences in an Educational Setting.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Kresimir Matkovic, Thomas Wischgoll, David H. Laidlaw	Empirical Evaluations with Domain Experts.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Silvia Miksch, Heike Leitte, Min Chen 0001	Knowledge-Assisted Visualization and Guidance.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Daniela Oelke, Ariane Sutor	Collaborations Between Industry and University.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Fabian Bolte, Stefan Bruckner	Measures in Visualization Space.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Min Chen 0001, Darren J. Edwards	"Isms" in Visualization.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Daniel Weiskopf	Vis4Vis: Visualization for (Empirical) Visualization Research.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Ross T. Whitaker, Ingrid Hotz	Transformations, Mappings, and Data Summaries.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Mario Hlawitschka, Gerik Scheuermann, Christian Blecha, Marc Streit, Amitabh Varshney	Collaborating Successfully with Domain Experts.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Michael Böttinger	Reaching Broad Audiences from a Research Institute Setting.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Ivan Viola, Min Chen 0001, Tobias Isenberg 0001	Visual Abstraction.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Michael Böttinger, Helen-Nicole Kostis, Anders Ynnerman	Challenges and Open Issues in Visualization for Broad Audiences.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Michael Böttinger, Helen-Nicole Kostis, Maria Velez-Rojas, Penny Rheingans, Anders Ynnerman	Reflections on Visualization for Broad Audiences.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Alfie Abdul-Rahman, Min Chen 0001, David H. Laidlaw	A Survey of Variables Used in Empirical Studies for Visualization.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Anders Ynnerman, Patric Ljung, Alexander Bock 0002	Reaching Broad Audiences from a Science Center or Museum Setting.	Foundations of Data Visualization	2020	DBLP DOI BibTeX RDF
25	Joshua D. Guttman, Carl E. Landwehr, José Meseguer 0001, Dusko Pavlovic (eds.)	Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows	Foundations of Security, Protocols, and Equational Reasoning	2019	DBLP DOI BibTeX RDF
25	Shafi Goldwasser, Silvio Micali, Ronald L. Rivest	A "paradoxical" solution to the signature problem.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25		An interview with Shafi Goldwasser.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25	Michael Ben-Or, Shafi Goldwasser, Avi Wigderson	Completeness theorems for non-cryptographic fault-tolerant distributed computation.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001	On some noncryptographic works of Goldwasser and Micali.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25		One obsession at a time: a brief biography of Silvio Micali.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25		Editor and author biographies.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25	Zvika Brakerski	Fundamentals of fully homomorphic encryption.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25	Shafi Goldwasser, Silvio Micali, Charles Rackoff	The knowledge complexity of interactive proof-systems.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25	Daniele Micciancio	Interactive proofs for lattice problems.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25		Proofs, according to Silvio: Silvio Micali's Turing lecture.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25		A story behind every problem: a brief biography of Shafi Goldwasser.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25	Rafael Pass	A tutorial on concurrent zero-knowledge.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25	Manuel Blum 0001, Paul Feldman, Silvio Micali	Non-interactive zero-knowledge and its applications.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25	Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi Wigderson	Multi-prover interactive proofs: how to remove intractability assumptions.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25	Oded Goldreich 0001	On the impact of cryptography on complexity theory.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF
25		An interview with Silvio Micali.	Providing Sound Foundations for Cryptography	2019	DBLP DOI BibTeX RDF