Search results for "concepts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Andrzej Blikle	Towards Mathematical Structured Programming.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Susan S. Owicki	Verifying Concurrent Programs With Shared Data Classes.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Jean-Pierre Finance	Static and Computational Semantics of a Definitional Language.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Luigia Aiello, Giuseppe Attardi, Gianfranco Prini	Towards a More Declarative Programming Style.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Andrei P. Ershov	On the Essence of Compilation.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Jack B. Dennis	Opening Remarks.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Robert M. Keller	Denotational Models for Parallel Programs with Indeterminate Operators.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Lawrence Flon, Norihisa Suzuki	Nondeterminism and the Correctness of Parallel Programs.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Maarten H. van Emden	Computation and Deductive Information Retrieval.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Robert Milne	Transforming Predicate Transformers.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Eric R. Anderson 0001, Frank C. Belz, Edward K. Blum	Issues in the Formal Specifications of Programming Languages.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Carl E. Hewitt, Henry G. Baker	Actors and Continuous Functionals.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Joseph A. Goguen	Abstract Errors for Abstract Data Types.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
32	Shelby Abraham, Keith Duddy, Michael Lawley, Zoran Milosevic, Kerry Raymond, Andrew Wood	Mapping Enterprise Events to the CORBA Notification Service.	EDOC	2000	DBLP DOI BibTeX RDF	enterprise event mapping, CORBA notification service, enterprise modelling choices, role based modelling concepts, expressive business event model, expressive enterprise models, business context, modelling concepts, UML Profile for Enterprise Distributed Object Computing, business event model, high level enterprise models, business processes, business data processing, automated tools
32	Monique Snoeck, Guido Dedene	Core Modelling Concepts in Object-Oriented Conceptual Modelling (full paper).	TOOLS (38)	2001	DBLP DOI BibTeX RDF
31	Ying Liu, Naixiao Zhang	On Concept-Based Definition of Domain-Specific Languages.	ICFEM	2002	DBLP DOI BibTeX RDF	Evolving Algebra, Language Concept, Reuse, Domain-Specific Languages, Attribute Grammar, Dynamic Semantics, Static Semantics
31	Jan G. Bazan	Hierarchical Classifiers for Complex Spatio-temporal Concepts.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF	complex dynamical system, ontology of concepts, behavioral pattern identification, rough set, automated planning, concept approximation
31	Michael Bendersky, W. Bruce Croft	Discovering key concepts in verbose queries.	SIGIR	2008	DBLP DOI BibTeX RDF	key concepts extraction, verbose queries, information retrieval
31	Chui Yin Wong, Chee-Weng Khong	Quantifying the Narration Board for Visualising Final Design Concepts by Interface Designers.	HCI (1)	2007	DBLP DOI BibTeX RDF	Interface Design, Storyboard, design concepts, Narration
31	Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Mark Ratcliffe 0001, Kate Sanders 0001, Carol Zander	Threshold concepts in computer science: do they exist and are they useful?	SIGCSE	2007	DBLP DOI BibTeX RDF	learning theory, threshold concepts
31	Anthony Bucci, Jordan B. Pollack	Thoughts on solution concepts.	GECCO	2007	DBLP DOI BibTeX RDF	later is better, coevolution, bloat, solution concepts, pareto coevolution, coevolutionary algorithm
31	Alexander G. Hauptmann, Rong Yan, Wei-Hao Lin	How many high-level concepts will fill the semantic gap in news video retrieval?	CIVR	2007	DBLP DOI BibTeX RDF	LSCOM, concept-based video retrieval, high-level semantic concepts, semantic gap
31	Kyung-Wook Park, Jin-Woo Jeong, Dong-Ho Lee	OLYBIA: Ontology-Based Automatic Image Annotation System Using Semantic Inference Rules.	DASFAA	2007	DBLP DOI BibTeX RDF	high-level concepts, semantic inference rules, MPEG-7 visual descriptors, ontologies, semantic gap
31	Youjin Chang, Minkoo Kim, Vijay V. Raghavan 0001	Construction of query concepts based on feature clustering of documents.	Inf. Retr.	2006	DBLP DOI BibTeX RDF	concept-based information retrieval, query reformulation, query concepts
31	Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine	Concepts: linguistic support for generic programming in C++.	OOPSLA	2006	DBLP DOI BibTeX RDF	constrained generics, generic programming, concepts, parametric polymorphism, C++0x, C++ templates
31	Cynthia S. Hood 0001, Dennis J. Hood	Teaching programming and language concepts using LEGOs.	ITiCSE	2005	DBLP DOI BibTeX RDF	LEGO®, programming concepts, special purpose language, language design
31	Jérémy Besson, Céline Robardet, Jean-François Boulicaut	Constraint-Based Mining of Formal Concepts in Transactional Data.	PAKDD	2004	DBLP DOI BibTeX RDF	constraint-based data mining, closed sets, Pattern discovery, formal concepts
29	Florencio G. Asenjo	Opposition and Circularity.	Oppositional Concepts in Computational Intelligence	2008	DBLP DOI BibTeX RDF
29	Prithwijit Guha, Amitabha Mukerjee	Language Label Learning for Visual Concepts Discovered from Video Sequences.	WAPCV	2007	DBLP DOI BibTeX RDF
29	Pragya Agarwal	Contested Nature of Place: Knowledge Mapping for Resolving Ontological Distinctions Between Geographical Concepts.	GIScience	2004	DBLP DOI BibTeX RDF
28	Nilesh N. Dalvi, Ravi Kumar 0001, Bo Pang 0001, Raghu Ramakrishnan 0001, Andrew Tomkins, Philip Bohannon, S. Sathiya Keerthi, Srujana Merugu	A web of concepts.	PODS	2009	DBLP DOI BibTeX RDF	ranking, selection, concepts, extraction
28	Peter Øhrstrøm	Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts.	ICFCA	2009	DBLP DOI BibTeX RDF	dynamic and static time, A- and B-concepts, A.N. Prior, Temporal logic, tense logic
28	Dominik Slezak, Marcin S. Szczuka	Rough Neural Networks for Complex Concepts.	RSFDGrC	2007	DBLP DOI BibTeX RDF	Rough Neurons, Multi-Dimensional Neurons, Complex Concepts
28	Ruedi Arnold, Marc Langheinrich, Werner Hartmann	InfoTraffic: teaching important concepts of computer science and math through real-world examples.	SIGCSE	2007	DBLP DOI BibTeX RDF	abstract concepts, fundamental topics, queueing theory, learning environment, propositional logic
28	Guozhu Dong, Chunyu Jiang, Jian Pei, Jinyan Li 0001, Limsoon Wong	Mining Succinct Systems of Minimal Generators of Formal Concepts.	DASFAA	2005	DBLP DOI BibTeX RDF	formal concepts, closed itemsets, succinctness, Minimal generators
28	Nader H. Bshouty, Sally A. Goldman, H. David Mathias, Subhash Suri, Hisao Tamaki	Noise-Tolerant Distribution-Free Learning of General Geometric Concepts.	J. ACM	1998	DBLP DOI BibTeX RDF	geometric concepts, computational learning
28	John Esch	Contexts and Concepts, Abstraction Duals.	ICCS	1994	DBLP DOI BibTeX RDF	White Box, Relation Instances, Contexts, Aggregations, Contraction, Concepts, Conceptual Graphs, Expansion, Black Box, Individuals
27	Martin Zauner	CASE - Computer-Aided Systems Engineering, a New Approach for Developing IM-Systems with Special Consideration of CIM Systems.	EUROCAST	1993	DBLP DOI BibTeX RDF	active database management systems, client/server concepts, CIM concept, IM concepts, right-sizing, prototyping, open systems, RDBMS
27	Don L. McLeish	Antithetic and Negatively Associated Random Variables and Function Maximization.	Oppositional Concepts in Computational Intelligence	2008	DBLP DOI BibTeX RDF
27	Shahryar Rahnamayan, Hamid R. Tizhoosh	Differential Evolution Via Exploiting Opposite Populations.	Oppositional Concepts in Computational Intelligence	2008	DBLP DOI BibTeX RDF
27	Simon Kramer 0001	Logical concepts in cryptography.	SIGACT News	2007	DBLP DOI BibTeX RDF	applied formal logic, information security
27	Dick A. C. Quartel, Remco M. Dijkman, Marten van Sinderen	Extending Profiles with Stereotypes for Composite Concepts.	MoDELS	2005	DBLP DOI BibTeX RDF
27	Christian S. Jensen, James Clifford, Ramez Elmasri, Shashi K. Gadia, Patrick J. Hayes, Sushil Jajodia	A Consensus Glossary of Temporal Database Concepts.	SIGMOD Rec.	1994	DBLP DOI BibTeX RDF
26	Clare Davies	Are Places Concepts? Familarity and Expertise Effects in Neighborhood Cognition.	COSIT	2009	DBLP DOI BibTeX RDF	vague extents, urban spatial cognition, concepts, expertise, place, neighborhood
26	Lech Polkowski	Mereological Theories of Concepts in Granular Computing.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	mereological theory of concepts, granular computing, approximate reasoning
26	Kate Sanders 0001, Lynda Thomas	Checklists for grading object-oriented CS1 programs: concepts and misconceptions.	ITiCSE	2007	DBLP DOI BibTeX RDF	object-oriented concepts, assessment, CS1, empirical research, misconceptions
26	Rosa I. Arriaga, Santosh S. Vempala	An algorithmic theory of learning: Robust concepts and random projection.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	Robust concepts, Learning, Cognition, Random projection
26	Gabriel Dos Reis, Bjarne Stroustrup	Specifying C++ concepts.	POPL	2006	DBLP DOI BibTeX RDF	C++ concepts, type systems, generic programming, separate compilation, C++ templates
26	Anna Eckerdal, Robert McCartney, Jan Erik Moström, Mark Ratcliffe 0001, Kate Sanders 0001, Carol Zander	Putting threshold concepts into context in computer science education.	ITiCSE	2006	DBLP DOI BibTeX RDF	constructivism, threshold concepts, education research
26	Grant Braught	Teaching empirical skills and concepts in computer science using random walks.	SIGCSE	2005	DBLP DOI BibTeX RDF	empirical concepts, empirical skills, turtle graphics, random walk
26	Grant Braught, Craig S. Miller, David W. Reed	Core empirical concepts and skills for computer science.	SIGCSE	2004	DBLP DOI BibTeX RDF	empirical concepts, empirical skills
26	Xiaofeng Gong, Julian Newman	The Role of Deontic Concepts and Commitment in the Policy Specification of Mobile Computing Environment.	OTM Workshops	2003	DBLP DOI BibTeX RDF	deontic concepts, speech acts oriented communication, mobile computing, Commitment, commitments, security policy specification
26	Luis Talavera, Javier Béjar	Generality-Based Conceptual Clustering with Probabilistic Concepts.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	probabilistic concepts, hierarchical clustering, user interaction, Conceptual clustering
26	Massimiliano Carrara, Pierdaniele Giaretta	Identity criteria and sortal concepts.	FOIS	2001	DBLP DOI BibTeX RDF	conceptualisation, identity criteria, sortal concepts, ontologies, knowledge bases
26	Sadok Ben Yahia, Khedija Arour, Ali Jaoua	Completing Missing Values Using Discovered Formal Concepts.	DEXA	2000	DBLP DOI BibTeX RDF	Relational database, Knowledge discovery, Signature, Missing values, Formal concepts, Galois lattice
26	Franck Xia	On The Danger Of Developing Measures Without Clarifying Concepts.	APSEC	1998	DBLP DOI BibTeX RDF	quality concepts, Software measures, definition, research methodology
25	Atif Mashkoor, Qing Wang 0002, Bernhard Thalheim (eds.)	Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	Closing the gap between the specification and the implementation: the ASMETA way.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Alexander Bienemann	Misunderstandings and Their Overwhelming Success.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Attila Sali	Recent Developments in Armstrong Codes.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Bernhard Thalheim	Normal Models and Their Modelling Matrix.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Antje Raab-Düsterhöft	Integrating Social Media Information into the Digital Forensic Investigation Process.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres	Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Andreea Buga, Sorana Tania Nemes, Atif Mashkoor	Addressing Client Needs for Cloud Computing using Formal Foundations.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Jean-Pierre Jacquot, Atif Mashkoor	The Role of Validation in Refinement-Based Formal Software Development.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Hui Ma 0001, Zhaojiang Chang, Alexandre Sawczuk da Silva, Sven Hartmann	QoS-Aware Web Service Composition Using Graph Databases.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Sven Hartmann, Markus Kirchberg, Henning Koehler, Uwe Leck, Sebastian Link	Extremal Combinatorics of SQL Keys.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Ajantha Dahanayake, Bernhard Thalheim	Development of Conceptual Models and the Knowledge Background Provided by the Rigor Cycle in Design Science.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Verena Geist, Felix Kossak, Christine Natschläger, Christa Illibauer, Thomas Ziebermayr, Atif Mashkoor	Hagenberg Business Process Modelling Method - Towards a Homogeneous Framework for Integrating Process, Actor, Dialogue, and Data Models.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Richard Banach, Wen Su	Cyberphysical Systems: A Behind-the-Scenes Foundational View.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Yannic Ole Kropp, Bernhard Thalheim	Viewpoint-Oriented Data Management in Collaborative Research Projects.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Stephen J. Hegner	Tolerant Constraint-Preserving Snapshot Isolation: Extended Concurrency for Interactive Transactions.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
25	Valentina Emilia Balas, Iulia M. Motoc, Alina Barbulescu	Combined Haar-Hilbert and Log-Gabor Based Iris Encoders.	New Concepts and Applications in Soft Computing	2013	DBLP DOI BibTeX RDF
25	Alex Tormási, János Botzheim	Single-Stroke Character Recognition with Fuzzy Method.	New Concepts and Applications in Soft Computing	2013	DBLP DOI BibTeX RDF
25	Tudor Barbu, Mihaela Costin, Adrian Ciobanu	An Unsupervised Content-Based Image Recognition Technique.	New Concepts and Applications in Soft Computing	2013	DBLP DOI BibTeX RDF
25	Hsunhsun Chung	Application of Approximate Reasoning Using Triangular and Sine-curved Membership Functions.	New Concepts and Applications in Soft Computing	2013	DBLP DOI BibTeX RDF
25	Dragan G. Radojevic	Real-Valued Implication as Generalized Boolean Polynomial.	New Concepts and Applications in Soft Computing	2013	DBLP DOI BibTeX RDF
25	Eugen Ioan Gergely, Laura Coroiu, Helga Maria Silaghi	Dependability Analysis of PLC I/O Systems Used in Critical Industrial Applications.	New Concepts and Applications in Soft Computing	2013	DBLP DOI BibTeX RDF
25	Cornelia Györödi, Robert Györödi, Mihai Dersidan, George Pecherle, Livia Bandici	An Improved Hebbian Neural Network with Dynamic Neuronal Life and Relations and Its Connection to a Decision Group.	New Concepts and Applications in Soft Computing	2013	DBLP DOI BibTeX RDF
25	Toma-Leonida Dragomir, Flavius-Maxim Petcut, Adrian Korodi	Reference Value Generator of Maximum Power Point Coordinates of the Photovoltaic Panel External Characteristic.	New Concepts and Applications in Soft Computing	2013	DBLP DOI BibTeX RDF
25	Alina Madalina Lonea, Huaglory Tianfield, Daniela E. Popescu	Identity Management for Cloud Computing.	New Concepts and Applications in Soft Computing	2013	DBLP DOI BibTeX RDF
25	Viorel Nicolau	Sound Speed Estimation Using Fuzzy Logic Approach for Outdoor Ultrasonic Applications.	New Concepts and Applications in Soft Computing	2013	DBLP DOI BibTeX RDF
25	Tudor Barbu, Mihaela Costin, Adrian Ciobanu	Color-Based Image Retrieval Approaches Using a Relevance Feedback Scheme.	New Concepts and Applications in Soft Computing	2013	DBLP DOI BibTeX RDF
25	Hooman Tahayori, Alireza Sadeghian	Shadowed Fuzzy Sets: A Framework with More Freedom Degrees for Handling Uncertainties Than Interval Type-2 Fuzzy Sets and Lower Computational Complexity Than General Type-2 Fuzzy Sets.	New Concepts and Applications in Soft Computing	2013	DBLP DOI BibTeX RDF
25	Daniel Bonevac	A History of Quantification.	Logic: A History of its Central Concepts	2012	DBLP DOI BibTeX RDF
25	Conrad Asmus, Greg Restall	A History of The Consequence Relations.	Logic: A History of its Central Concepts	2012	DBLP DOI BibTeX RDF
25	Amirouche Moktefi, Sun-Joo Shin	A History of Logic Diagrams.	Logic: A History of its Central Concepts	2012	DBLP DOI BibTeX RDF
25	John Woods	A History of the Fallacies in Western Logic1.	Logic: A History of its Central Concepts	2012	DBLP DOI BibTeX RDF
25	Simo Knuuttila	A History of Modal Traditions.	Logic: A History of its Central Concepts	2012	DBLP DOI BibTeX RDF
25	Francis Jeffry Pelletier, Allen P. Hazen	A History of Natural Deduction.	Logic: A History of its Central Concepts	2012	DBLP DOI BibTeX RDF
25	Daniel Bonevac, Josh Dever	A History of The Connectives.	Logic: A History of its Central Concepts	2012	DBLP DOI BibTeX RDF
25	Fairouz Kamareddine, Twan Laan, Rob Nederpelt	A History of Types*.	Logic: A History of its Central Concepts	2012	DBLP DOI BibTeX RDF
25	Jean-Yves Béziau	A History of Truth-Values.	Logic: A History of its Central Concepts	2012	DBLP DOI BibTeX RDF
25	Dov M. Gabbay, Francis Jeffry Pelletier, John Woods 0001	Preface.	Logic: A History of its Central Concepts	2012	DBLP DOI BibTeX RDF
25	J. L. Speranza, Laurence R. Horn	History of Negation.	Logic: A History of its Central Concepts	2012	DBLP DOI BibTeX RDF
25	Storrs McCall	A History Of Connexivity.	Logic: A History of its Central Concepts	2012	DBLP DOI BibTeX RDF
25	Hans Hagen (eds.)	Scientific Visualization: Advanced Concepts	Scientific Visualization: Advanced Concepts	2010	DBLP BibTeX RDF
25	Tamito Kajiyama, Akira Nukada, Reiji Suda, Hidehiko Hasegawa, Akira Nishida	Toward Automatic Performance Tuning for Numerical Simulations in the SILC Matrix Computation Framework.	Software Automatic Tuning, From Concepts to State-of-the-Art Results	2010	DBLP DOI BibTeX RDF
25	Reiji Suda	A Bayesian Method of Online Automatic Tuning.	Software Automatic Tuning, From Concepts to State-of-the-Art Results	2010	DBLP DOI BibTeX RDF
25	R. Clint Whaley	ATLAS Version 3.9: Overview and Status.	Software Automatic Tuning, From Concepts to State-of-the-Art Results	2010	DBLP DOI BibTeX RDF