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 |
|