Search results for "Semantics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Pablo Barceló, Leopoldo E. Bertossi, Loreto Bravo	Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
23	Jim Alves-Foss, Deborah A. Frincke	Formal Grammar for Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
23	Paul Gastin	Infinite Traces.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
23	Rob J. van Glabbeek, Ursula Goltz	Equivalences and Refinement.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
23	Karoline Malmkjær	On Some Semantic Issues in the Reflective Tower.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
23	Elsa L. Gunter	Pseudo-Retract Functors for Local Lattices and Bifinite L-domains.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
23	Carl A. Gunter	Comparing Categories of Domains.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
22	Stamatia Dasiopoulou, Vassilis Tzouvaras, Ioannis Kompatsiaris, Michael G. Strintzis	Capturing MPEG-7 Semantics.	MTSR	2007	DBLP DOI BibTeX RDF
22	Nenad Stojanovic, Dimitris Apostolou, Spyridon Ntioudis, Gregoris Mentzas	A semantics-based software framework for ensuring consistent access to up-to-date knowledge resources in Public Administrations.	MTSR	2007	DBLP DOI BibTeX RDF
22	Karl Aberer, Tiziana Catarci, Philippe Cudré-Mauroux, Tharam S. Dillon, Stephan Grimm, Mohand-Said Hacid, Arantza Illarramendi, Mustafa Jarrar, Vipul Kashyap, Massimo Mecella, Eduardo Mena, Erich J. Neuhold, Aris M. Ouksel, Thomas Risse 0001, Monica Scannapieco, Fèlix Saltor, Luca De Santis, Stefano Spaccapietra, Steffen Staab, Rudi Studer, Olga De Troyer	Emergent Semantics Systems.	ICSNW	2004	DBLP DOI BibTeX RDF
22	Bill Howe, Kuldeep Tanna, Paul J. Turner, David Maier 0001	Emergent Semantics: Towards Self-Organizing Scientific Metadata..	ICSNW	2004	DBLP DOI BibTeX RDF
22	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
22	Gyoung Soon Choi, Rüdiger Oehlmann, Hilary Dalke, David Cottington	Discovering Color Semantics as a Chance for Developing Cross-Cultural Design Frameworks.	KES (2)	2007	DBLP DOI BibTeX RDF	Discovering Color Semantics as a Chance, Cross-Cultural Design Framework, Semantics and Context of Color
22	Qian Wang 0024, Gopal Gupta 0001	Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach.	SAC	2005	DBLP DOI BibTeX RDF	horn logical semantics, semantics, domain specific languages, interpreter
22	Marino Miculan, Ivan Scagnetto	A framework for typed HOAS and semantics.	PPDP	2003	DBLP DOI BibTeX RDF	categorical metamodels, metalanguages for syntax and semantics of languages, presheaf categories, typed abstract syntax with variable binding, initial algebra semantics
22	Edward P. F. Chan	A Possible World Semantics for Disjunctive Databases.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	ground atom, disjunctive database, generalized closed world assumption, GCWA, disjunctive database rule, DDR, PWS, propositional databases, negative ground literal, co-NP-hard, knowledge based systems, database theory, deductive databases, database semantics, possible world semantics, negative information
22	Winfield S. Bennett, Tanya Herlick, Katherine Hoyt, Joseph Liro, Ana Santisteban	Toward a computational model of aspect and verb semantics.	Mach. Transl.	1990	DBLP DOI BibTeX RDF	aspectual features, verb semantics, natural language processing, aspect, computational linguistics, lexical semantics, semantic features
22	Raymond T. Boute	Representational and Denotational Semantics of Digital Systems.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	representational semantics, input/output transformation, abstract mathematical functions, function definitions, functional recast, mappings, digital arithmetic, denotational semantics, number theory, digital systems, digital systems
22	Ethan K. Jackson, Janos Sztipanovits	Formalizing the structural semantics of domain-specific modeling languages.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Structural semantics, Metamodeling, Model-based Design, Formal logic, Domain-specific modeling languages, Horn logic
22	Zhiping Shi 0002, Qing He 0003, Zhongzhi Shi	An index and retrieval framework integrating perceptive features and semantics for multimedia databases.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	CBMR, Semantics, Relevance feedback, High-dimensional index
22	Dov M. Gabbay	Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview.	Stud Logica	2009	DBLP DOI BibTeX RDF	extended argumentations frames, semantics for attacks on attacks, joint attacks
22	Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave	The semantics of x86-CC multiprocessor machine code.	POPL	2009	DBLP DOI BibTeX RDF	semantics, relaxed memory models
22	Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli	The semantics of power and ARM multiprocessor machine code.	DAMP	2009	DBLP DOI BibTeX RDF	semantics, powerpc, arm, relaxed memory models
22	Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli	Logic Programs under Three-Valued Lukasiewicz Semantics.	ICLP	2009	DBLP DOI BibTeX RDF	Three Valued Logic Programs, ?ukasiewicz Semantics
22	Nicholas Paul Sheppard, Reihaneh Safavi-Naini	On the operational semantics of rights expression languages.	Digital Rights Management Workshop	2009	DBLP DOI BibTeX RDF	operational semantics, digital rights management, rights expression languages
22	David Harel, Shahar Maoz	Assert and negate revisited: Modal semantics for UML sequence diagrams.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	UML Interactions, Standardization, Formal semantics, Sequence diagrams, Live sequence charts
22	Sharon Shoham, Nissim Francez	Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.	Stud Logica	2008	DBLP DOI BibTeX RDF	Game semantics, Lambek calculus
22	Yahui Lu, Li Zhang 0065, Jiaguang Sun 0001	Towards trace semantics for WS-CDL with alignments.	SAC	2008	DBLP DOI BibTeX RDF	semantics, trace, alignment, WS-CDL
22	Carlos Olarte, Frank D. Valencia	Universal concurrent constraint programing: symbolic semantics and applications to security.	SAC	2008	DBLP DOI BibTeX RDF	symbolic semantics, security, mobility, concurrent constraint programming
22	Chunbo Chu, Monica Brockmeyer	Predicate Detection Modality and Semantics in Three Partially Synchronous Models.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Semantics, Observability, Modality, Partial synchrony, Predicate detection
22	Martín Abadi, Andrew Birrell, Tim Harris 0001, Michael Isard	Semantics of transactional memory and automatic mutual exclusion.	POPL	2008	DBLP DOI BibTeX RDF	STM, transactional memory, operational semantics
22	Christian Y. A. Brenninkmeijer, Ixent Galpin, Alvaro A. A. Fernandes, Norman W. Paton	A Semantics for a Query Language over Sensors, Streams and Relations.	BNCOD	2008	DBLP DOI BibTeX RDF	Stream/Sensor Network Data, Query Language Semantics
22	Xiang Sean Zhou, Sonja Zillner, Manuel Möller, Michael Sintek, Yiqiang Zhan, Arun Krishnan, Alok Gupta	Semantics and CBIR: a medical imaging perspective.	CIVR	2008	DBLP DOI BibTeX RDF	ontology, semantics, image retrieval, medical image analysis
22	Zhifeng Bao, Huayu Wu 0001, Bo Chen, Tok Wang Ling	Using semantics in XML query processing.	ICUIMC	2008	DBLP DOI BibTeX RDF	ORA-SS, semantic optimization, XML, semantics, keyword search, twig query
22	Guoray Cai	Contextualization of Geospatial Database Semantics for Human-GIS Interaction.	GeoInformatica	2007	DBLP DOI BibTeX RDF	ontology, human-computer interaction, GIS, semantics, context
22	Thomas Cleenewerck, Ivan Kurtev	Separation of concerns in translational semantics for DSLs in model engineering.	SAC	2007	DBLP DOI BibTeX RDF	model-based DSLs, modular translational semantics, model transformations, separation of concerns, model engineering
22	Jie Wang, Chunnian Liu	Fuzzy Constraint Logic Programming with Answer Set Semantics.	KSEM	2007	DBLP DOI BibTeX RDF	Logic Program, Fuzzy Constraint, Answer Set Semantics
22	Pietro Baroni, Massimiliano Giacomin	Comparing Argumentation Semantics with Respect to Skepticism.	ECSQARU	2007	DBLP DOI BibTeX RDF	Argumentation semantics, Skepticism
22	Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li	A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement.	FAW	2007	DBLP DOI BibTeX RDF	value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement
22	Sam Bakhtiar Sanjabi, C.-H. Luke Ong	Fully abstract semantics of additive aspects by translation.	AOSD	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, translation, aspects, game semantics, full abstraction
22	Haitao Dan, Robert M. Hierons, Steve Counsell	A Thread-tag Based Semantics for Sequence Diagrams.	SEFM	2007	DBLP DOI BibTeX RDF	Partially ordered multiset, Thread tag, Semantics, Concurrency, Object-Oriented, Sequence Diagram
22	Jozef Hooman, Mark van der Zwaag	A semantics of communicating reactive objects with timing.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	UML, Real-time, Formal methods, Theorem proving, Formal semantics
22	Heidi Gregersen	The formal semantics of the timeER model.	APCCM	2006	DBLP BibTeX RDF	conceptual modeling, temporal databases, database design, entity-relationship models, temporal data models, temporal semantics
22	Zhiping Shi 0002, Qingyong Li, Zhiwei Shi, Zhongzhi Shi	Semantics Supervised Cluster-Based Index for Video Databases.	CIVR	2006	DBLP DOI BibTeX RDF	video semantics, cluster, video database, High-dimensional index
22	David Harel, Shahar Maoz	Assert and negate revisited: modal semantics for UML sequence diagrams.	SCESM	2006	DBLP DOI BibTeX RDF	inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms
22	Hugo Liu, Henry Lieberman	Programmatic semantics for natural language interfaces.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	programmatic semantics, storytelling, natural language interfaces, brainstorming, case tools
22	Grégoire Hamon	A denotational semantics for stateflow.	EMSOFT	2005	DBLP DOI BibTeX RDF	compilation, continuations, denotational semantics, Stateflow
22	Steve Barker, Paul Douglas	An Intelligent Tutoring System for Program Semantics.	ITCC (1)	2005	DBLP DOI BibTeX RDF	E-Learning, Educational Software, Program Semantics
22	Adrian Giurca, Gerd Wagner 0001	Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML.	RuleML	2005	DBLP DOI BibTeX RDF	rule markup languages, RuleML, partial logic, semantics, abstract syntax
22	Koen Claessen, Hans Svensson	A semantics for distributed Erlang.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	distributed systems, verification, semantics, Erlang
22	Parag C. Prasad, Subramani Arunkumar	From short-term memory to semantics-a computational model.	Neural Comput. Appl.	2004	DBLP DOI BibTeX RDF	Classification, Learning, Semantics, Memory, Language
22	Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001	Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Multimedia, Time, Meta modeling, Formal semantics, Graph transformation, Sequence diagram, UML extensions
22	María-del-Mar Gallardo, Pedro Merino 0001, Ernesto Pimentel 0001	A generalized semantics of PROMELA for abstract model checking.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Model checking, Abstraction, spin, Structured operational semantics, promela
22	Peter F. Patel-Schneider, Jérôme Siméon	The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	XML, Semantic Web, semantics, data model, RDF, XQuery, XML schema, syntax, RDF schema
22	Maria Halkidi, Benjamin Nguyen, Iraklis Varlamis, Michalis Vazirgiannis	THESUS: Organizing Web document collections based on link semantics.	VLDB J.	2003	DBLP DOI BibTeX RDF	Link management, World Wide Web, Semantics, Similarity measure, Link analysis, Document clustering
22	Rik Eshuis, David N. Jansen, Roel J. Wieringa	Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Execution semantics, Model checking, Statecharts
22	Bryon K. Ehlmann, Gregory A. Riccardi, Naphtali Rishe, Jinyu Shi	Specifying and Enforcing Association Semantics via ORN in the Presence of Association Cycles.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	ORN, relationship semantics, association cycle, data modeling, complex objects, object databases
22	Wolfgang Schuetzelhofer, Karl M. Göschka	A Set Theory Based Approach on Applying Domain Semantics to XML Structures.	HICSS	2002	DBLP DOI BibTeX RDF	business domain semantics, directed typed graph, XML, set theory, constraint modeling
22	H. C. M. Kleijn, Maciej Koutny	Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.	CONCUR	2002	DBLP DOI BibTeX RDF	theory of concurrency, weighted inhibitor arcs, causality semantics, occurrence nets, Petri nets, step sequences
22	Annalisa Bossi, Sandro Etalle, Sabina Rossi	Semantics of Input-Consuming Logic Programs.	Computational Logic	2000	DBLP DOI BibTeX RDF	semantics, logic programming, dynamic scheduling
22	Hans Fleischhack, Bernd Grahlmann	A Compositional Petri Net Semantics for SDL.	ICATPN	1998	DBLP DOI BibTeX RDF	ARQ protocol, Petri Net Semantics, Concurrency, SDL, Compositionality, Procedures, Infinity, Dynamic Processes
22	Chiara Bodei, Pierpaolo Degano, Corrado Priami	Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.	SAS	1998	DBLP DOI BibTeX RDF	SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality
22	Alessandra Di Pierro, Herbert Wiklicky	An Operational Semantics for Probabilistic Concurrent Constraint Programming.	ICCL	1998	DBLP DOI BibTeX RDF	Concurrency, Probability, Constraint Programming, Operational Semantics, Nondeterminism
22	Mikael Pettersson	A Compiler for Natural Semantics.	CC	1996	DBLP DOI BibTeX RDF	tailcalls, continuations, natural semantics, determinacy
22	Björn Lisper	Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations.	CAAP	1996	DBLP DOI BibTeX RDF	reduction systems, recursive program schemes, program transformations, formal semantics, nondeterminism
22	Luc Moreau 0001	An operational semantics for a parallel functional language with continuations.	PARLE	1992	DBLP DOI BibTeX RDF	metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency
22	Cornelis Huizing, Rob Gerth	Semantics of Reactive Systems in Abstract Time.	REX Workshop	1991	DBLP DOI BibTeX RDF	Real-time, semantics, specification, Statecharts, reactive systems
22	Mauricio Osorio 0001, Juan Carlos Nieves	Possibilistic Well-Founded Semantics.	MICAI	2009	DBLP DOI BibTeX RDF
22	Yi-Dong Shen, Jia-Huai You	A Default Approach to Semantics of Logic Programs with Constraint Atoms.	LPNMR	2009	DBLP DOI BibTeX RDF
22	Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc	Towards transactional memory semantics for C++.	SPAA	2009	DBLP DOI BibTeX RDF	synchronization, c++, transactional memory, atomicity, serializability
22	Aasia Riasat, Syed Sajjad Rizvi, Faraz Arain, Rizwan M. Qureshi	Dynamic Semantics of the Web: Useful Tool for the New Generation Agent-Based Software.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
22	Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells	A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.	ICTAC	2008	DBLP DOI BibTeX RDF
22	Li Pan, Weidong Zhao, Zhicheng Wang, Xinmin Zhou	A State Class Approach to Time Petri Nets with Weak Semantics.	CSSE (2)	2008	DBLP DOI BibTeX RDF
22	Pierre Kelsen, Qin Ma 0002	A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.	MoDELS	2008	DBLP DOI BibTeX RDF
22	Martin Caminada	An Algorithm for Computing Semi-stable Semantics.	ECSQARU	2007	DBLP DOI BibTeX RDF
22	Mass Soldal Lund, Ketil Stølen	A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice.	FM	2006	DBLP DOI BibTeX RDF
22	Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli	Interchange Format for Hybrid Systems: Abstract Semantics.	HSCC	2006	DBLP DOI BibTeX RDF
22	Abbas Edalat, Dirk Pattinson	Denotational Semantics of Hybrid Automata.	FoSSaCS	2006	DBLP DOI BibTeX RDF
22	Maarten H. van Emden	Compositional Semantics for the Procedural Interpretation of Logic.	ICLP	2006	DBLP DOI BibTeX RDF
22	Daniel Stamate	Assumption based multi-valued semantics for extended logic programs.	ISMVL	2006	DBLP DOI BibTeX RDF
22	Mourad Debbabi, Mohamed Mostafa Saleh	Game Semantics Model for Security Protocols.	ICFEM	2005	DBLP DOI BibTeX RDF
22	Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg	Main Concepts of Networks of Transformation Units with Interlinking Semantics.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
22	Hendrik Decker	Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
22	Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	PPDP	2005	DBLP DOI BibTeX RDF
22	Federico Banti, José Júlio Alferes, Antonio Brogi	Operational Semantics for DyLPs.	EPIA	2005	DBLP DOI BibTeX RDF
22	Xiuli Sun, Jinzhao Wu	Operational Semantics for Real-Time Processes with Action Refinement.	SEFM	2005	DBLP DOI BibTeX RDF
22	Michal Misiak	Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems.	WADT	2004	DBLP DOI BibTeX RDF
22	Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin	Almost ASAP Semantics: From Timed Models to Timed Implementations.	HSCC	2004	DBLP DOI BibTeX RDF
22	Maxim Roy, Richard A. Frost	Extending Montague Semantics for Use in Natural-Language Database-Query Processing.	Canadian AI	2004	DBLP DOI BibTeX RDF
22	José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite	Semantics for Dynamic Logic Programming: A Principle-Based Approach.	LPNMR	2004	DBLP DOI BibTeX RDF
22	Koen Claessen, Johan Mårtensson	An Operational Semantics for Weak PSL.	FMCAD	2004	DBLP DOI BibTeX RDF
22	David Harel, Hillel Kugler	The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
22	Mauricio Osorio 0001, Verónica Borja Macías, José Arrazola	Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs.	IBERAMIA	2004	DBLP DOI BibTeX RDF
22	Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini	Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication.	DALT	2003	DBLP DOI BibTeX RDF
22	D. V. Sreenath, William I. Grosky, Farshad Fotouhi	Emergent Semantics from Users' Browsing Paths.	ISI	2003	DBLP DOI BibTeX RDF
22	In-Su Kang, Jae-Hak J. Bae, Jong-Hyeok Lee	Database Semantics Representation for Natural Language Access.	CW	2002	DBLP DOI BibTeX RDF
22	Gianna Reggio, Maura Cerioli, Egidio Astesiano	Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.	FASE	2001	DBLP DOI BibTeX RDF
22	Dietmar Seipel	Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases.	FoIKS	2000	DBLP DOI BibTeX RDF
22	Stuart Kent 0001, Andy Evans, Bernhard Rumpe	UML Semantics FAQ.	ECOOP Workshops	1999	DBLP DOI BibTeX RDF
22	Dietmar Seipel	An Alternating Well-Founded Semantics for Query Answering in Disjunctive Databases.	FQAS	1998	DBLP DOI BibTeX RDF