Search results for "concepts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
63	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
48	Liza Leslie, Tat-Seng Chua, Ramesh C. Jain	Annotation of paintings with high-level semantic concepts using transductive inference and ontology-based concept disambiguation.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	multi-expert, ontology-based disambiguation, paintings, concepts ontology, transductive inference
44	Haim Shvaytser	Learnable and Nonlearnable Visual Concepts.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	learnable visual concepts, nonlearnable visual concepts, Valiant's theory, pattern recognition, learning systems, learnability
42	Yelizaveta Marchenko, Tat-Seng Chua, Ramesh C. Jain	Ontology-Based Annotation of Paintings Using Transductive Inference Framework.	MMM (1)	2007	DBLP DOI BibTeX RDF	Multi-expert, Paintings, Concepts Ontology, Transductive inference
41	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
41	Albert Le Xuan, Rajjan Shinghal	Courseware Development by Topdown Conceptual Analysis.	ICCAL	1989	DBLP DOI BibTeX RDF	Topdown Conceptual Analysis, Subordinate Concepts, Coordinate Concepts, Supra-ordinate Concepts, Discrimination & Chains, Generalization, Conceptual Structure
41	Peter Gottschling, Andrew Lumsdaine	Integrating semantics and compilation: using c++ concepts to develop robust and efficient reusable libraries.	GPCE	2008	DBLP DOI BibTeX RDF	semantic verification, optimization, c++, concepts, loop unrolling, semantic properties
41	Shi Wang, Yanan Cao, Xinyu Cao, Cungen Cao 0001	Learning Concepts from Text Based on the Inner-Constructive Model.	KSEM	2007	DBLP DOI BibTeX RDF	concepts acquisition, Concept Inner-Constructive Model, text mining, knowledge discovery
41	Terence R. Smith, Marcia Lei Zeng, Olga Agapova, Olha A. Buchel, Michael Freeston, James Frew, Linda L. Hill, Laura Smart, Tim Tierney, Alex Ushakov	Structured models of scientific concepts for organizing, accessing, and using learning materials.	JCDL	2002	DBLP DOI BibTeX RDF	physical geography, ontologies, models, education, digital libraries, teaching, knowledge bases, concepts, learning materials
40	Ralph-Johan Back, Joakim von Wright	Refinement Concepts Formalized in Higher Order Logic.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
40	Emil Lupu, Morris Sloman, Naranker Dulay, Nicodemos Damianou	Ponder: Realising Enterprise Viewpoint Concepts.	EDOC	2000	DBLP DOI BibTeX RDF	distributed object enterprise concepts, enterprise viewpoint concepts, Ponder language, prohibitions, nested communities, mobile telecommunication network, specification, declarative language, permissions, obligations, business communication, language constructs
37	Radim Belohlávek, Vladimir Sklenar, Jiri Zacpal	Crisply Generated Fuzzy Concepts.	ICFCA	2005	DBLP DOI BibTeX RDF
36	Stephen Kwek	Learning Intermediate Concepts.	ALT	2001	DBLP DOI BibTeX RDF	multiple concepts, mistake bound algorithm, PAC learning, membership queries, exact learning
35	Michael J. Kearns, Robert E. Schapire	Efficient Distribution-free Learning of Probabilistic Concepts (Extended Abstract)	FOCS	1990	DBLP DOI BibTeX RDF	p-concepts, uncertain behaviour, distribution-free learning, probabilistic concepts, probabilistic behavior, weather prediction, model, machine learning
33	Giovanni Sartor	Legal concepts as inferential nodes and ontological categories.	Artif. Intell. Law	2009	DBLP DOI BibTeX RDF	Legal concepts, Ontology, Inference
33	Andreas Zendler, Christian Spannagel	Empirical Foundation of Central Concepts for Computer Science Education.	ACM J. Educ. Resour. Comput.	2008	DBLP DOI BibTeX RDF	Central concepts, fundamental ideas
33	Martin Raubal	Representing Concepts in Time.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	representation, algebraic specifications, concepts, time geography, Conceptual spaces
33	Mohamed Bouhdadi, Youssef Balouki, El maati Chabbar	Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	Enterprise Language, Structural Concepts, UML/OCL, Denotational Semantics, RM-ODP
32	Christoph Beierle, Steven Kutsch, Gabriele Kern-Isberner	From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
32	Reiji Suda, Ken Naono, Keita Teranishi, John Cavazos	Software Automatic Tuning: Concepts and State-of-the-Art Results.	Software Automatic Tuning, From Concepts to State-of-the-Art Results	2010	DBLP DOI BibTeX RDF
32	Edgar R. Weippl, Markus D. Klemen, Stefan Raffeiner	Improving Storage Concepts for Semantic Models and Ontologies.	Database Technologies: Concepts, Methodologies, Tools, and Applications	2009	DBLP BibTeX RDF
32	Johan Jeuring	Algorithms for Theorems.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Beverly A. Sanders	Stepwise Refinement of Mixed Specifications of Concurrent Programs.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Pierre America, Frank S. de Boer	A Proof System for Process Creation.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Shmuel Katz, Ira R. Forman, Michael Evangelist	Language Constructs for Distributed Systems.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Jifeng He 0001, Mark B. Josephs, Charles Antony Richard Hoare	A Theory of Synchrony and Asynchrony.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Christine Lafontaine	Formalization of the VDM Reification in the DEVA Meta-Calculus - The Human-Leucocyte-Antigen Case Study.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Yolanda Ortega-Mallén, David de Frutos-Escrig	Timed Observations: A Semantic Model for Real-Time Concurrency.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Limor Fix, Nissim Francez, Orna Grumberg	Sematics-Driven Decompositions for the Verification of Distributed Programs.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Ursula Martin, Tobias Nipkow	Automating Squiggol.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Jules Desharnais, Nazim H. Madhavji	Abstract Relational Specifications.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Rob J. van Glabbeek	The Refinement Theorem for ST-bisimulation Semantics.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Martin C. Henson	Information Loss in the Programming Logic TK.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Albert Dietl	Global Control for Communicating Processes.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Philip Wadler	Linear Types can Change the World!	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Matthias Weber 0003	Formalization of the Bird-Meertens Algorithmic Calculus in the Deva Meta-Calculus.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Jan J. M. M. Rutten	Deriving Denotational Models for Bisimulation from Structured Operational Semantics.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Stephen J. Garland, John V. Guttag	Using LP to Debug Specifications.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Alessandro Giacalone, Chi-Chang Jou, Scott A. Smolka	Algebraic Reasoning for Probabilistic Concurrent Systems.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Furio Honsell, Simona Ronchi Della Rocca	Reasoning About Interpretations in Qualitative λ-Models.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis, Jacques Voiron	ATP: an Algebra for Timed Processes.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Luca Cardelli, Xavier Leroy	Abstract Types and the Dot Notation.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Rudolf Berghammer, Herbert Ehler, Bernhard Möller	On the Refinement of Non-Deterministic Recursive Routines by Transformations.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	David M. Goldschlag	Mechanizing Unity.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
32	Oscar Nierstrasz	A Survey of Object-Oriented Concepts.	Object-Oriented Concepts, Databases, and Applications	1989	DBLP DOI BibTeX RDF
32	Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop	Conditional axioms and α/β-calculus in process algebra.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Jean-Pierre Jouannaud, B. Waldmann	Reductive conditional term rewriting systems.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Peter D. Mosses, David A. Watt	The use of action semantics.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog	Failures without chaos: a new process semantics for fair abstraction.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Susumu Hayashi	PX: a system extracting programs from proofs.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	M. Chadili, Irène Guessarian	Notions of fairness for synchronous fork join nets.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Eike Best, Raymond R. Devillers	Interleaving and partial orders in concurrency: a formal comparison.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Roberto M. Amadio, Giuseppe Longo	Type-free compiling of parametric types.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Sarangapani Jagannathan	A model of data backup and recovery in a computer system for functional programming.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Grazyna Mirkowska, Andrzej Salwicki	Axiomatic definability of programming language semantics.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Matthias Felleisen, Daniel P. Friedman	Control operators, the SECD-machine, and the λ-calculus.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Scott A. Smolka, Robert E. Strom	A CCS semantics for NIL.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Saumya K. Debray, Prateek Mishra	Denotational and operational semantics for PROLOG.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher	PROLOG - II as an instance of the logic programming language scheme.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Mariangiola Dezani-Ciancaglini, Ines Margaria	Polymorphic types, fixed-point combinators and continuous lambda-models.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Frank S. de Boer	A proof rule for process-creation.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Pierpaolo Degano, Rocco De Nicola, Ugo Montanari	Observational equivalences for concurrency models.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
32	Manfred Broy, Martin Wirsing	On the Algebraic Specification of Finitary Infinite.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Jan A. Bergstra, Jan Willem Klop	Formal Proof Systems for Program Equivalence.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Ruurd Kuiper 0001, Willem P. de Roever	Fairness Assumptions for CSP in a Temporal Logic Framework.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Manfred Broy	Fixed PointTheory for Communication and Concurrency.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Guy Cousineau	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Guy Cousineau	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Peter Padawitz	Equational Data Type Specifications and Recursive Program Schemes.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Ilaria Castellani, Paola Franceschi, Ugo Montanari	Labeled Event Structures: A Model for Observable Concurrency.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Gordon D. Plotkin	An Operational Semantics for CSP.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Jaco de Bakker	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Marco A. Casanova, José Mauro Volkmer de Castilho, António Luz Furtado	Properties of Conceptual and External Database Schemas.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Hartmann J. Genrich, P. S. Thiagarajan	Well-Formed Flow Charts for Concurrent Programming.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Marie-Claude Gaudel	Correctness Proof of Programming Language Translations.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Erich J. Neuhold	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	P. Lucas	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Harald Ganzinger	Denotational Semantics for Languages with Modules.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Andrea Maggiolo-Schettini, Józef Winkowski	Towards a Programming Language for Manipulating Relational Data Bases.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Eric G. Wagner	Functorial Hierarchies of Functional Languages.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Eike Best	Relational Semantics of Concurrent Programs (With Some Applications).	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Jean-Pierre Jouannaud, Pierre Lescanne, F. Reinig	Recursive Decomposition Ordering.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Peter D. Mosses	Abstract Semantic Algebras.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Andrzej Blikle	Session Discussion.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Matthew C. B. Hennessy, Wei Li 0022	Translating a Subset of Ada into CCS.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Henning Christiansen 0001, Neil D. Jones	Control Flow Treatment in a Simple Semantics-Directed Compiler Generator.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
32	Krzysztof R. Apt	Equivalence of Operational and Denotational Semantics for a Fragment of Pascal.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Reiji Nakajima, Michio Honda, Hayao Nakahara	Describing and Verifying Programs with Abstract Data Types.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Maarten M. Fokkinga	Axiomatization of Declarations and the Formal Treatment of an Escape Construct.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Richard J. Lipton, Lawrence Snyder	On the Power of Applicative Languages.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Fred Kröger	A Uniform Logical Basis for the Description, Specification and Verification of Programs.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	John V. Guttag, James J. Horning, Ralph L. London	A Proof Rule for Euclid Procedures.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Jaco de Bakker	Recursive Programs as Predicate Transformers.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Patrick Cousot, Radhia Cousot	Static Determination of Dynamic Properties of Recursive Procedures.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Axel van Lamsweerde	From Verifying Termination to Guaranteeing it: A Case Study.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Arvind, Kim P. Gostelow	Some Relationships Between Asynchronous Interpreters of a Dataflow Language.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Peter E. Lauer, Eike Best, Michael W. Shields	On the Problem of Achieving Adequacy of Concurrent Programs.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Willem P. de Roever	On Backtracking and Greatest Fixpoints.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Werner Damm, Elfriede Fehr, Klaus Indermark	Higher Type Recursion and Self-Application as Control Structures.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Daniel M. Berry, Michael Erlinger, John B. Johnston, Arndt von Staa	Models of Hierarchical Machine Support.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF