Search results for "semantics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Ileana Ober	More Meaningful UML Models.	TOOLS	2000	DBLP DOI BibTeX RDF	complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics
6	Yingzhou Zhang, Baowen Xu	A survey of semantic description frameworks for programming languages.	SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	hybrid semantics, semantic description frameworks, operational semantics, formal semantics, denotational semantics, axiomatic semantics
6	J. W. de Bakker, J. H. A. Warmerdam	Metric Pomset Semantics for a Concurrnt Language with Recursion.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF	pomsets, metric topology, operational semantics, denotational semantics, true concurrency, proof rule
5	Amit P. Sheth	Semantics Scales Up: Beyond Search in Web 3.0.	IEEE Internet Computing	2011	DBLP DOI BibTeX RDF	scaling semantics, computing for human experience, semantics in Web 3.0, semantics-empowered physical-virtual systems, semantics empowered cyber-physical systems, semantic search
5	Ruy J. G. B. de Queiroz	On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics.	Studia Logica	2008	DBLP DOI BibTeX RDF	reduction rules, proof-terms, proof-theoretic semantics, game-theoretic semantics, dialogue semantics, natural deduction
5	Olivier Danvy	Defunctionalized interpreters for programming languages.	ICFP	2008	DBLP DOI BibTeX RDF	big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics
5	Ansgar Scherp, Ramesh Jain	Towards an ecosystem for semantics.	MS	2007	DBLP DOI BibTeX RDF	semantics, events, multimedia authoring, ecosystem, multimedia semantics
5	Raymond T. Boute	Calculational semantics: Deriving programming theories from equations by functional predicate calculus.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics
5	Yuan An, Alexander Borgida, John Mylopoulos	Discovering the Semantics of Relational Tables Through Mappings.	J. Data Semantics	2006	DBLP DOI BibTeX RDF	ontologies, Semantics, mappings, semantic interoperability
5	Sara Cohen	Equivalence of queries combining set and bag-set semantics.	PODS	2006	DBLP DOI BibTeX RDF	bag semantics, combined semantics, set semantics, Datalog, query equivalence
5	Claudia Diamantini, Domenico Potena, Maurizio Panti	KDD Support Services Based on Data Semantics.	J. Data Semantics	2005	DBLP DOI BibTeX RDF	Decision Border, Data Mining, Classification, User Support, Data Semantics
5	Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos	Compound Term Composition Algebra: The Semantics.	J. Data Semantics	2005	DBLP DOI BibTeX RDF	Faceted Taxonomies, Semantics, Description Logics
5	Roberto Giacobazzi, Isabella Mastroeni	Non-Standard Semantics for Program Slicing.	Higher-Order and Symbolic Computation	2003	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation
5	Jules Desharnais, Nazim H. Madhavji	Relation Level Semantics.	FSTTCS	1988	DBLP DOI BibTeX RDF	CR Categories D.1.4 [Programming Techniques] Sequential Programming, D.3.1 [Programming Languages] Formal Definitions and Theory: Semantics, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about programs: Relations, F.3.2 [Logics and Meanings of Programs] Semantics of Programming Languages: Algebraic approaches to semantics, F.3.3 [Logics and Meanings of Programs] Studies of Program Constructs: Control Structures, Expressions, Denotational Semantics, Procedures
4	Zhihu Zhang, Zuoquan Lin, Shuang Ren	Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach.	ISMIS	2009	DBLP DOI BibTeX RDF	Quasi-classical logic, paraconsistent semantics, fixpoint semantics, disjunctive logic program
4	Pascual Julián Iranzo, Clemente Rubio-Manzano	A declarative semantics for Bousi~Prolog.	PPDP	2009	DBLP DOI BibTeX RDF	fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics
4	Malgorzata Biernacka, Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
4	Luiz Carlos Castro Guedes, Edward Hermann Haeusler	Action Algebras and Model Algebras in Denotational Semantics.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
4	Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
4	Kyung-Goo Doh, David A. Schmidt	An Action Semantics Based on Two Combinators.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
4	David A. Watt	Action Semantics in Retrospect.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
4	Christiano Braga	A Constructive Semantics for Basic Aspect Constructs.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
4	André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante	An Implementation of Object-Oriented Action Semantics in Maude.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
4	Hanne Gottliebsen, Kristoffer H. Rose	Converting between Combinatory Reduction Systems and Big Step Semantics.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
4	David DeHaan	Equivalence of nested queries with mixed semantics.	PODS	2009	DBLP DOI BibTeX RDF	bag-set semantics, normalized bags, set semantics, aggregation, conjunctive queries, query equivalence
4	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.	J. Data Semantics	2009	DBLP DOI BibTeX RDF	Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling
4	Sara Cohen	Equivalence of queries that are sensitive to multiplicities.	VLDB J.	2009	DBLP DOI BibTeX RDF	Bag semantics, Set semantics, Combined semantics, Datalog, Query equivalence
4	Huibiao Zhu, Jifeng He, Jonathan P. Bowen	From algebraic semantics to denotational semantics for Verilog.	ISSE	2008	DBLP DOI BibTeX RDF	Unifying theories of programming, Denotational semantics, Semantic relating, Verilog, Algebraic semantics
4	Ekaterina Komendantskaya, John Power	Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness.	JELIA	2008	DBLP DOI BibTeX RDF	Many-valued logic programs, categorical logic, fibrational semantics, ground semantics, SLD-resolution
4	Pasquale De Meo, Giovanni Quattrone, Giorgio Terracina, Domenico Ursino	Semantics-Guided Clustering of Heterogeneous XML Schemas.	J. Data Semantics	2007	DBLP DOI BibTeX RDF
4	Nivedita R. Kadaba, Pourang Irani, Jason Leboe	Visualizing Causal Semantics Using Animations.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	animated graphs, visualizing cause and effect, graph semantics, visualization, semantics, perception, Causality
4	Tye Rattenbury, Nathaniel Good, Mor Naaman	Towards automatic extraction of event and place semantics from flickr tags.	SIGIR	2007	DBLP DOI BibTeX RDF	event identification, place identification, tag semantics, word semantics, tagging systems
4	Jorma K. Mattila	Possibility Based Modal Semantics for Graded Modifiers.	IFSA	2007	DBLP DOI BibTeX RDF	metalogic, Semantics of Modal Logic, Semantics of Modifier Logic, Modifier system, Modality, Modifier
4	Sven Herschel, Ralf Heese, Jens Bleiholder, Christian Czekay	An Architecture for Emergent Semantics.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
4	Zoran Majkic	Intensional Semantics for P2P Data Integration.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
4	Lei Zhang 0007, Xian Wu, Yong Yu	Emergent Semantics from Folksonomies: A Quantitative Study.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
4	Luc Steels, Peter Hanappe	Interoperability Through Emergent Semantics A Semiotic Dynamics Approach.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
4	Larry Kerschberg, Hanjo Jeong, Wooju Kim	Emergent Semantics in Knowledge Sifter: An Evolutionary Search Agent Based on Semantic Web Services.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
4	Philippe Cudré-Mauroux, Karl Aberer, Alia I. Abdelmoty, Tiziana Catarci, Ernesto Damiani, Arantza Illarramendi, Mustafa Jarrar, Robert Meersman, Erich J. Neuhold, Christine Parent, Kai-Uwe Sattler, Monica Scannapieco, Stefano Spaccapietra, Peter Spyns, Guy De Tré	Viewpoints on Emergent Semantics.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
4	Guizhen Yang, Michael Kifer	Inheritance in Rule-Based Frame Systems: Semantics and Inference.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
4	Shan-Li Hu, Chun-Yi Shi	A Multi-subset Possible World Semantics for Intention Operator of Agent.	PRIMA	2006	DBLP DOI BibTeX RDF	multi-subset possible world semantics, Agent, semantics, intention
4	Werner Kuhn	Geospatial Semantics: Why, of What, and How?	J. Data Semantics	2005	DBLP DOI BibTeX RDF
4	Nectaria Tryfona, Dieter Pfoser	Data Semantics in Location-Based Services.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
4	Kewen Wang, Lizhu Zhou	Comparisons and computation of well-founded semantics for disjunctive logic programs.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	residual programs, semantics of logic programs and deductive databases, program transformations, argumentation, nonmonotonic reasoning, negation, Disjunctive logic programming, well-founded semantics
4	Mohammad Reza Mousavi, Michel A. Reniers	Orthogonal Extensions in Structural Operational Semantics.	ICALP	2005	DBLP DOI BibTeX RDF	Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality
4	Minhua Ma, Paul McKevitt	Interval Relations in Lexical Semantics of Verbs.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	CONFUCIUS, language visualisation, verb semantics, visual semantics, knowledge representation, natural language understanding, temporal relations
4	Peter D. Mosses	Exploiting labels in Structural Operational Semantics.	SAC	2004	DBLP DOI BibTeX RDF	MSOS, modularity, structural operational semantics, natural semantics, SOS
4	Stefan Brass, Jürgen Dix, Teodor C. Przymusinski	Super logic programs.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	logics of knowledge and beliefs, semantics of logic programs and deductive databases, Nonmonotonic reasoning, negation, static semantics, disjunctive logic programming, well-founded semantics, minimal models
4	Simon J. Gay, Rajagopal Nagarajan	Intensional and Extensional Semantics of Dataflow Programs.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Categorical semantics, Interaction categories, Kahn semantics, Synchronous computation, Dataflow
4	James Farrugia	Model-theoretic semantics for the web.	WWW	2003	DBLP DOI BibTeX RDF	web markup languages, semantics, model-theoretic semantics
4	Michael von der Beeck	A structured operational semantics for UML-statecharts.	Software and System Modeling	2002	DBLP DOI BibTeX RDF	Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts
4	Roberto Giacobazzi, Isabella Mastroeni	Compositionality in the puzzle of semantics.	PEPM	2002	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, Abstract interpretation, compositional semantics, program manipulation
4	Luis Carlos de Sousa Menezes, Geber Ramalho, Hermano Perrelli de Moura	Modular definition of agent-oriented languages using action semantics.	AAMAS	2002	DBLP DOI BibTeX RDF	agent programming languages and environments, formal methods, programming languages, formal semantics, action semantics
4	Ivan Kramosil	Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions.	Soft Comput.	2001	DBLP DOI BibTeX RDF	First-order predicate calculus, Standard semantics, Boolean-like semantics, Frequentistic semantics, Completeness theorems
4	Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.	Applied Categorical Structures	2001	DBLP DOI BibTeX RDF	concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints
4	Leopoldo E. Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim	Semantics in Databases.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
4	Juliusz Chroboczek	Game Semantics and Subtyping.	LICS	2000	DBLP DOI BibTeX RDF	Semantics, Type Systems, Game Semantics
4	Pieter H. Hartel, Michael J. Butler, Moshe Levy	The Operational Semantics of a Java Secure Processor.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
4	Jim Alves-Foss, Fong Shing Lam	Dynamic Denotational Semantics of Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
4	Sophia Drossopoulou, Susan Eisenbach	Describing the Semantics of Java and Proving Type Soundness.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
4	Egon Börger, Wolfram Schulte	A Programmer Friendly Modular Definition of the Semantics of Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
4	Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing	An Event-Based Structural Operational Semantics of Multi-Threaded Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
4	Mauricio Osorio, Bharat Jayaraman	Integrating the Completion and the Well Founded Semantics.	IBERAMIA	1998	DBLP DOI BibTeX RDF	Stable Semantics, Clark's Completion, Normal Programs, Knowledge Representation, Logic Programming, Non-monotonic Reasoning, Well Founded Semantics
4	Luis Fernando Llana Díaz, Manuel Núñez	Testing Semantics for Unbounded Nondeterminism.	Euro-Par	1997	DBLP DOI BibTeX RDF	unbounded nondeterminism, testing semantics, Process algebra, CSP, operational semantics
4	Ekkart Kindler	A Compositional Partial Order Semantics for Petri Net Components.	ICATPN	1997	DBLP DOI BibTeX RDF	Petri net component, rely-guarantee specification, fully abstract, compositional semantics, partial order semantics
4	Louiqa Raschid, Jorge Lobo	Semantics for Update Rule Programs and Implementations in a Relational Database Management System.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	constant maintenance, deductive database, rule-based systems, fixpoint semantics, update rules, stable model semantics
4	Marina Lenisa	Final Semantics for a Higher Order Concurrent Language.	CAAP	1996	DBLP DOI BibTeX RDF	second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction
4	Piero Fraternali, Letizia Tanca	A Structured Approach for the Definition of the Semantics of Active Databases.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	database rule processing, semantics, events, rules, active database systems, fixpoint semantics
4	Volker Haarslev	Formal Semantics of Visual Languages using Spatial Reasoning. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	qualitative spatial relationships, description logic theory, convex regions, semantics specifications, Pictorial Janus, graphical theorem proving, formal specification, visual programming, visual languages, visual languages, formal semantics, algebraic specification, spatial reasoning, spatial reasoning, points, automatic verification, lines, spatial logic, visual reasoning, geometrical objects
4	Isabelle Attali, Denis Caromel, Andrew L. Wendelborn	From a formal dynamic semantics of Sisal to a Sisal environment.	HICSS	1995	DBLP DOI BibTeX RDF	formal dynamic semantics, Sisal environment, Sisal 2.0, structural operational style, Typoi inference rules, Centaur system, generic specification environment, strongly typed language, single assignment language, vector machines, formal specification, parallel programming, software tools, multiprocessors, programming environments, parallel languages, parallel processors, Sisal, Natural Semantics, formal definition, dataflow machines
4	David Binkley	Reducing the cost of regression testing by semantics guided test case selection. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	semantics guided test case selection, semantic differences, common execution patterns, interprocedural slice, calling context slice, software maintenance, software maintenance, program testing, program testing, regression testing, cost, software cost estimation, language semantics
4	Seiki Akama	Three-Valued Constructive Logic and Logic Programs. (PDF / PS)	ISMVL	1995	DBLP DOI BibTeX RDF	three-valued constructive logic, three valued constructive logic, strong negation 3N, N completion, intuitive semantics, N completion semantics, computational complexity, semantics, logic programming, logic programs, ternary logic, model theory, strong negation, negation as failure
4	Bijan Arbab, Daniel M. Berry	Some Comments on ``A Denotational Semantics for Prolog''.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	logic programming, operational semantics, denotational semantics
4	Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska	Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems.	EDCC	1994	DBLP DOI BibTeX RDF	Real-time embedded systems and their design, Structured Analysis and Design Methods, Transformation Schema, micro and macro steps, Berry's synchrony hypothesis, safety critical systems design, simulation of and semantics for fault-tolerant systems, modularity, formal semantics, synchronous languages
4	Bernd J. Krämer, Luqi, Valdis Berzins	Compositional Semantics of a Real-Time Prototyping Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior
4	Peter D. Mosses	On the Action Semantics of Concurrent Programming Languages.	REX Workshop	1992	DBLP DOI BibTeX RDF	action notation, semantics, concurrency, synchronization, distributed processing, asynchrony, action semantics
4	Luc Bougé	On the Semantics of Languages for Massively Parallel SIMD Architectures.	PARLE	1991	DBLP DOI BibTeX RDF	The C language, Semantics, SIMD, Parallel languages, Structured Operational Semantics, Massively parallel architecture, Connection Machine, Program equivalence
4	Jan J. M. M. Rutten	Nonwellfounded Sets and Programming Language Semantics.	MFPS	1991	DBLP DOI BibTeX RDF	transition system specification, nonwellfounded sets, anti-foundation-axiom, interpretation, bisimulation, compositionality, labelled transition system, Structured operational semantics
4	Geoff Barrett	The Semantics of Priority and Fairness in occam.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
4	Lawrence S. Moss, Satish R. Thatte	Generalization of Final Algebra Semantics by Relativization.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
4	Prakash Panangaden, James R. Russell	A Category-theoretic Semantics for Unbounded Indeterminacy.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
4	John W. Gray	Initial Algebra Semantics for Lambda Calculi.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
4	Bharat Jayaraman	Semantics of EqL.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Correctness theorems, equational programming, equation solving, object refinement, logic programming, functional programming, denotational semantics, reduction semantics
4	Jan J. M. M. Rutten	Correctness and full abstraction of metric semantics for concurrency.	REX Workshop	1988	DBLP DOI BibTeX RDF	complete metric spaces, concurrency, contractions, correctness, operational semantics, compositionality, denotational semantics, full abstraction
4	Stephen D. Brookes	A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
4	Naphtali Rishe	On Denotational Semantics of Data Bases.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
4	S. Kamal Abdali, David S. Wise	Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
4	Martin R. Raskovsky, Philip A. Collier	From standard to implementation denotational semantics.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
3	Anthony Cleve, Jean-Roch Meurisse, Jean-Luc Hainaut	Database Semantics Recovery through Analysis of Dynamic SQL Statements.	J. Data Semantics	2011	DBLP DOI BibTeX RDF
3	Huayu Wu, Tok Wang Ling, Bo Chen, Liang Xu	TwigTable: Using Semantics in XML Twig Pattern Query Processing.	J. Data Semantics	2011	DBLP DOI BibTeX RDF
3	Rayid Ghani, Divna Djordjevic, Chad M. Cumby	Machine Learning and Lightweight Semantics to Improve Enterprise Search and Knowledge Management.	Context and Semantics for Knowledge Management	2011	DBLP DOI BibTeX RDF
3	Christoph Brandt, Marcus Kracht	Syntax, semantics and pragmatics in communication.	I-SEMANTICS	2011	DBLP DOI BibTeX RDF
3	Silvio Peroni, Aldo Gangemi, Fabio Vitali	Dealing with markup semantics.	I-SEMANTICS	2011	DBLP DOI BibTeX RDF
3	Francis Harvey, Robert G. Raskin	Spatial Cyberinfrastructure: Building New Pathways for Geospatial Semantics on Existing Infrastructures.	Geospatial Semantics and the Semantic Web	2011	DBLP DOI BibTeX RDF
3	Dalia Varanka, Jonathan Carter, E. Lynn Usery, Thomas Shoberg	Topographic Mapping Data Semantics Through Data Conversion and Enhancement.	Geospatial Semantics and the Semantic Web	2011	DBLP DOI BibTeX RDF
3	Rahul Singh, Ryohei Nakata, Joseph Downs	Characterization and Analysis of Emergent Image Semantics Using Network Models.	ICSC	2011	DBLP DOI BibTeX RDF	image and media semantics, human-computer interaction, network analysis, multimedia retrieval, information modeling, emergent semantics
3	Alena Kovárová, Lucia Szalayová	Semantics in the Field of Widgets: A Case Study in Public Transportation Departure Notifications.	Semantics in Adaptive and Personalized Services	2010	DBLP DOI BibTeX RDF
3	Manolis Wallace, Ioannis Anagnostopoulos, Phivos Mylonas, Mária Bieliková	Semantics in Adaptive and Personalized Services: Methods, Tools and Applications.	Semantics in Adaptive and Personalized Services	2010	DBLP DOI BibTeX RDF
3	Irene Celino, Francesco Corcoglioniti	Towards the formalization of interaction semantics.	I-SEMANTICS	2010	DBLP DOI BibTeX RDF
3	Nguyen Quang Uy, Nguyen Xuan Hoai, Michael O'Neill, Bob McKay	Semantics based crossover for boolean problems.	GECCO	2010	DBLP DOI BibTeX RDF	boolean problems, genetic programming, crossover operators, trace semantics