Search results for "semantics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Jorma K. Mattila	Possibility Based Modal Semantics for Graded Modifiers.	IFSA (1)	2007	DBLP DOI BibTeX RDF	metalogic, Semantics of Modal Logic, Semantics of Modifier Logic, Modifier system, Modality, Modifier
25	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
25	Peter D. Mosses	Exploiting labels in Structural Operational Semantics.	SAC	2004	DBLP DOI BibTeX RDF	MSOS, modularity, structural operational semantics, natural semantics, SOS
25	Luis Fernando Llana Díaz, Manuel Núñez 0001	Testing Semantics for Unbounded Nondeterminism.	Euro-Par	1997	DBLP DOI BibTeX RDF	unbounded nondeterminism, testing semantics, Process algebra, CSP, operational semantics
25	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
25	David W. Binkley	Reducing the cost of regression testing by semantics guided test case selection.	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
25	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
25	Luc Bougé	On the Semantics of Languages for Massively Parallel SIMD Architectures.	PARLE (2)	1991	DBLP DOI BibTeX RDF	The C language, Semantics, SIMD, Parallel languages, Structured Operational Semantics, Massively parallel architecture, Connection Machine, Program equivalence
25	Arnon Avron	Multi-valued Semantics: Why and How.	Stud Logica	2009	DBLP DOI BibTeX RDF	Multi-valued semantics, Suszko’s Thesis, analycity, modularity, many-valued logics, non-deterministic matrices
25	Wei Ke 0001, Zhiming Liu 0001, Shuling Wang, Liang Zhao 0022	A Graph-Based Operational Semantics of OO Programs.	ICFEM	2009	DBLP DOI BibTeX RDF	state graphs, operational semantics, object graphs, OO programs
25	Pascual Julián, Ginés Moreno, Jaime Penabad	On the Declarative Semantics of Multi-Adjoint Logic Programs.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Herbrand Model, Fuzzy Logic Programming, Declarative Semantics
25	Rachid Guerraoui, Michal Kapalka	The semantics of progress in lock-based transactional memory.	POPL	2009	DBLP DOI BibTeX RDF	try-lock, semantics, lower bound, transactional memory, reduction, lock, impossibility, consensus number
25	Eric Reuland, Yoad Winter	Binding without Identity: Towards a Unified Semantics for Bound and Exempt Anaphors.	DAARC	2009	DBLP DOI BibTeX RDF	Anaphors, Exemption, Proxy-readings, Skolem functions, Variable-free semantics
25	M. V. Arkhipova, Sergey V. Zelenov	Directed Generation of Test Data for Static Semantics Checker.	ISoLA	2008	DBLP DOI BibTeX RDF	context condition, grammar, specification based testing, static semantics, Automated test data generation
25	Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray	A semantics-based approach to malware detection.	POPL	2007	DBLP DOI BibTeX RDF	abstract interpretation, obfuscation, malware detection, trace semantics
25	Musab AlTurki, José Meseguer 0001	Real-time rewriting semantics of orc.	PPDP	2007	DBLP DOI BibTeX RDF	orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude
25	Paolo Bottoni, Juan de Lara, Esther Guerra	Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages.	VL/HCC	2007	DBLP DOI BibTeX RDF	Visual Languages, Meta-Modelling, Operational Semantics, Graph Transformation
25	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
25	Haiping Zhu, Huajie Zhang, Yong Yu 0001	Deeper Semantics Goes a Long Way: Fuzzified Representation and Matching of Color Descriptions for Online Clothing Search.	WISE	2006	DBLP DOI BibTeX RDF	Semantics of Color Descriptions, HSL Color Space, Fuzzy Colors, Fuzzy Conceptual Graphs, Fuzzy Color Similarity
25	Hai Zhuge	The open and autonomous interconnection semantics.	ICEC	2006	DBLP DOI BibTeX RDF	interconnection environment, semantics, autonomy
25	Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab	Compositional Semantics of an Actor-Based Language Using Constraint Automata.	COORDINATION	2006	DBLP DOI BibTeX RDF	Rebeca, Compositional semantics, Reo, Constraint Automata, actor model
25	M. D. Derk	Towards a simpler method of operational semantics for language definition.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	operational semantics, binding, BNF
25	Frank Zeyda, Bill Stoddart, Steve Dunne	A Prospective-Value Semantics for the GSL.	ZB	2005	DBLP DOI BibTeX RDF	bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution
25	Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings	A formal framework for agent interaction semantics.	AAMAS	2005	DBLP DOI BibTeX RDF	intention ACL, interaction state, protocol, semantics, belief
25	Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer	Semantics of declarative goals in agent programming.	AAMAS	2005	DBLP DOI BibTeX RDF	semantics, default logic, agent programming languages, declarative goals
25	María Victoria Cengarle, Alexander Knapp	OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	UML, OCL, Formal semantics
25	Paolo Terenziani, Richard T. Snodgrass	Reconciling Point-Based and Interval-Based Semantics in Temporal Relational Databases: A Treatment of the Telic/Atelic Distinction.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	data models, Temporal databases, database semantics
25	Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001	A Formal Semantics of UML Sequence Diagram.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF	UML, Semantics, Consistency, Sequence Diagram
25	Dawei Ding 0003, Jun Yang 0003, Qing Li 0001, Liping Wang 0002, Wenyin Liu	Towards a flash search engine based on expressive semantics.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	expressive semantics, flash retrieval, classification, search engine, web application, eigenvector
25	Xuede Zhan, Huaikou Miao, Ling Liu	Formalizing the Semantics of UML Statecharts with Z*.	CIT	2004	DBLP DOI BibTeX RDF	UML, formal semantics, Z, UML statechart
25	Salvador España Boquera, Vicent Estruch	A Memoizing Semantics for Functional Logic Languages.	ESOP	2004	DBLP DOI BibTeX RDF	Programming languages, formal semantics, memoization
25	Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal	A semantics for tracing declarative multi-paradigm programs.	PPDP	2004	DBLP DOI BibTeX RDF	semantics, tracing, functional logic programming
25	Lloyd Rutledge, Martin Alberink, Rogier Brussee, Stanislav Pokraev, William van Dieten, Mettina Veenstra	Finding the story: broader applicability of semantics and discourse for hypermedia generation.	Hypertext	2003	DBLP DOI BibTeX RDF	clustering, semantics, hypermedia, RDF, narrative, SMIL, concept lattices, discourse
25	Veda C. Storey, Robert C. Goldstein, Harald Ullrich	Naive Semantics to Support Automated Database Design.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	naive Semantics, database design, design automation, entity-relationship model
25	Dániel Varró, András Pataricza	Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models.	UML	2002	DBLP DOI BibTeX RDF	refinement, model transformation, metamodeling, formal semantics, graph transformation
25	Christine Choppy, Pascal Poizat, Jean-Claude Royer	A Global Semantics for Views.	AMAST	2000	DBLP DOI BibTeX RDF	mixed specifications, view formalism, global semantics
25	Michael Huth 0001	On the Approximation of Denotational Mu-Semantics.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	least/greatest pixed, recursion, points, partial orders, denotational semantics
25	Luis Fernando Llana Díaz, David de Frutos-Escrig	Relating May and Must Testing Semantics for Discrete Timed Process Algebras.	ASIAN	1999	DBLP DOI BibTeX RDF	testing semantics, must, may, time, process algebra
25	Chris Ho-Stuart, Shaoying Liu	A Formal Operational Semantics for SOFL.	APSEC	1997	DBLP DOI BibTeX RDF	operational-semantics data-flow-diagram specification
25	Maciej Koutny	Partial Order Semantics of Box Expressions.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	partial order theory of concurrency, net-based algebraic calculi, Causality, structured operational semantics
25	Kim Marriott, Peter J. Stuckey	Semantics of Constraint Logic Programs with Optimization.	LOPLAS	1993	DBLP DOI BibTeX RDF	semantics, constraint logic programming
24	Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel	A Sound Observational Semantics for Modal Transition Systems.	ICTAC	2009	DBLP DOI BibTeX RDF
24	Yasuo Nakayama	Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008.	JSAI	2008	DBLP DOI BibTeX RDF
24	Guohua Liu, Jia-Huai You	Lparse Programs Revisited: Semantics and Representation of Aggregates.	ICLP	2008	DBLP DOI BibTeX RDF
24	Pavel Avgustinov, Julian Tibble, Oege de Moor	On the Semantics of Matching Trace Monitoring Patterns.	RV	2007	DBLP DOI BibTeX RDF
24	Marie Agier, Jean-Marc Petit	A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets.	ICFCA	2007	DBLP DOI BibTeX RDF
24	David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez	New Bisimulation Semantics for Distributed Systems.	FORTE	2007	DBLP DOI BibTeX RDF
24	Slavisa Markovic, Thomas Baar	An OCL Semantics Specified with QVT.	MoDELS	2006	DBLP DOI BibTeX RDF
24	Tok Wang Ling	Capturing Semantics in XML Documents.	KDXD	2006	DBLP DOI BibTeX RDF
24	Keita Fujii, Tatsuya Suda	Semantics-based dynamic service composition.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
24	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux	Comparison of Different Semantics for Time Petri Nets.	ATVA	2005	DBLP DOI BibTeX RDF	Timed Bisimilarity, Expressiveness, Time Petri Nets
24	Kevin Chen-Chuan Chang, Bin He 0001, Zhen Zhang 0001	Mining semantics for large scale integration on the web: evidences, insights, and challenges.	SIGKDD Explor.	2004	DBLP DOI BibTeX RDF
24	Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur	The Refined Operational Semantics of Constraint Handling Rules.	ICLP	2004	DBLP DOI BibTeX RDF
24	Jan-Georg Smaus	Is There an Optimal Generic Semantics for First-Order Equations?.	ICLP	2003	DBLP DOI BibTeX RDF
24	Harry G. Mairson	From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis.	ICFP	2003	DBLP DOI BibTeX RDF
24	Jonathan P. Bowen, Jifeng He 0001, Qiwen Xu	An Animatable Operational Semantics of the Verilog Hardware Description Language.	ICFEM	2000	DBLP DOI BibTeX RDF
24	Ekawit Nantajeewarawat, Vilas Wuwongse	An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance.	ASIAN	1999	DBLP DOI BibTeX RDF
24	Thomas Lukasiewicz	Many-Valued First-Order Logics with Probabilistic Semantics.	CSL	1998	DBLP DOI BibTeX RDF
24	Glynn Winskel	A Presheaf Semantics of Value-Passing Processes.	CONCUR	1996	DBLP DOI BibTeX RDF
24	Michal Walicki, Sigurd Meldal	A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	reasoning with nondeterminism, algebraic specifications
24	Roy L. Crole, Andrew D. Gordon 0001	A Sound Metalogical Semantics for Input/Output Effects.	CSL	1994	DBLP DOI BibTeX RDF
24	Els Laenens, Dirk Vermeir, Carlo Zaniolo	Logic Programming Semantics Made Easy.	ICALP	1992	DBLP DOI BibTeX RDF
24	Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo	Denotational Versus Declarative Semantics for Functional Programming.	CSL	1991	DBLP DOI BibTeX RDF
24	Michael Johnson, Farshad Fotouhi, Sorin Draghici, Ming Dong 0001, Duo Xu	Discovering Document Semantics QBYS: A System for Querying the WWW by Semantics.	Multim. Tools Appl.	2004	DBLP DOI BibTeX RDF	query-by-semantics, document features, document type, neural network
24	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
23	Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre	Role-based semantics for agent communication: embedding of the 'mental attitudes' and 'social commitments' semantics.	AAMAS	2006	DBLP DOI BibTeX RDF
23	David Harel, Bernhard Rumpe	Meaningful Modeling: What's the Semantics of "Semantics"?.	Computer	2004	DBLP DOI BibTeX RDF
23	Viet Phan Luong	Between Well-Founded Semantics and Stable Model Semantics.	IDEAS	1999	DBLP DOI BibTeX RDF
23	Lunjin Lu, Peter Greenfield	Abstract fixpoint semantics and abstract procedural semantics of definite logic programs.	ICCL	1992	DBLP DOI BibTeX RDF
23	David A. Watt	An Action Semantics of Standard ML.	MFPS	1987	DBLP DOI BibTeX RDF
23	Adrienne G. Bloss, Paul Hudak	Path Semantics.	MFPS	1987	DBLP DOI BibTeX RDF
23	K. V. S. Prasad	A Calculus of Value Broadcasts.	PARLE	1993	DBLP DOI BibTeX RDF	CR classification F3.2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics, F3.1 Logics of programs
23	K. V. S. Prasad	Programming with Broadcasts.	CONCUR	1993	DBLP DOI BibTeX RDF	CR classification F3. 2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics
23	Sara Cohen, Yaacov Y. Weiss	Bag equivalence of XPath queries.	ICDT	2010	DBLP DOI BibTeX RDF	bag semantics, multiset semantics, XPath, query equivalence
23	Huibiao Zhu, Jifeng He 0001, Geguang Pu, Jing Li 0062	An Operational Approach to BPEL-like Programming.	SEW	2007	DBLP DOI BibTeX RDF	Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling
23	Marjorie McShane, Sergei Nirenburg, Stephen Beale	An NLP Lexicon as a Largely Language-Independent Resource.	Mach. Transl.	2005	DBLP DOI BibTeX RDF	Ontological Semantics, Language-independent resources, Knowledge-rich NLP, Semantics, Lexicon
23	Mohammad Reza Mousavi 0001, Murdoch Gabbay, Michel A. Reniers	SOS for Higher Order Processes.	CONCUR	2005	DBLP DOI BibTeX RDF	Congruence Rule Formats, Bisimulation, Formal Semantics, Congruence, Structural Operational Semantics
23	Vilas Wuwongse, Ekawit Nantajeewarawat	Declarative Programs with Implicit Implications.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	implicit implication, deductive object-oriented database, taxonomy, Declarative program, subsumption, fixpoint semantics, model-theoretic semantics
23	Alfredo Burrieza, Inman P. de Guzmán	A Temporal × Modal Approach to the Definability of Properties of Functions.	FroCoS	2002	DBLP DOI BibTeX RDF	$Ttimes W$-semantics, functional semantics, completeness, definability
23	Alessandro Giacalone, Scott A. Smolka	Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Clara, equational rules, user interfaces, parallel programming, parallel programming, graphical user interface, computer graphics, programming environments, programming environments, specification language, specification languages, operational semantics, programming theory, concurrent systems, inference rules, CCS, interactive simulation, formal techniques, simulation languages, algebraic semantics, concurrent languages
23	Amit P. Sheth, James A. Larson, Evan Watkins	TAILOR, A Tool for Updating Views.	EDBT	1988	DBLP DOI BibTeX RDF	application semantics, semantic integrity constraints, semantic ambiguity problem, translations, view update, database semantics, semantic knowledge, rule based approach, relational views
23	João Marcos 0001	What is a Non-truth-functional Logic?	Stud Logica	2009	DBLP DOI BibTeX RDF	Abstract logics, truth-functionality, formal semantics
23	Maria João Frade, Ando Saabas, Tarmo Uustalu	Foundational certification of data-flow analyses.	TASE	2007	DBLP DOI BibTeX RDF	data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics
23	Gerwin Klein, Tobias Nipkow	A machine-checked model for a Java-like language, virtual machine, and compiler.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Java, theorem proving, operational semantics
23	David E. Millard, Nicholas Gibbins, Danius T. Michaelides, Mark J. Weal	Mind the semantic gap.	Hypertext	2005	DBLP DOI BibTeX RDF	hypertext formality, hypertext semantics
23	Pierpaolo Degano, Rocco De Nicola, Ugo Montanari	Partial orderings descriptions and observations of nondeterministic concurrent processes.	REX Workshop	1988	DBLP DOI BibTeX RDF	LES, Concurrency, Nondeterminism, CCS, Communicating Processes, Observational Equivalence, Semantics of Programming Languages
23	Rada Chirkova, Michael R. Genesereth	Equivalence of SQL queries in presence of embedded dependencies.	PODS	2009	DBLP DOI BibTeX RDF	embedded dependencies, conjunctive queries, query equivalence
23	Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner 0001	On the Computability and Complexity Issues of Extended RDF.	PRICAI	2008	DBLP DOI BibTeX RDF	Extended RDF ontologies, Semantic Web, complexity, rules, negation
23	Emad Saad, Enrico Pontelli	A new approach to hybrid probabilistic logic programs.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68T37
23	Hélène Jaudoin, Frédéric Flouvat, Jean-Marc Petit, Farouk Toumani	Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints.	J. Data Semantics	2009	DBLP DOI BibTeX RDF
23	Baba Piprani	Using ORM-Based Models as a Foundation for a Data Quality Firewall in an Advanced Generation Data Warehouse (Extended Version).	J. Data Semantics	2008	DBLP DOI BibTeX RDF	data quality firewall, advanced generation data warehouse, data quality assessment, data quality threshold, conceptual schema, ORM
23	Guy Pierra	Context Representation in Domain Ontologies and Its Use for Semantic Integration of Data.	J. Data Semantics	2008	DBLP DOI BibTeX RDF
23	Miren I. Bagüés, Jesús Bermúdez, Arantza Illarramendi, Alberto Tablado, Alfredo Goñi	Semantic Interoperation Among Data Systems at a Communication Level.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
23	Li Qin, Vijayalakshmi Atluri	An Ontology-Guided Approach to Change Detection of the Semantic Web Data.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
23	Andrew W. Cooke, Alasdair J. G. Gray, Werner Nutt	Stream Integration Techniques for Grid Monitoring.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
23	Mohamed Dahchour, Alain Pirotte 0001, Esteban Zimányi	Generic Relationships in Information Modeling.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
23	Fernando Ferri, Maurizio Rafanelli	GeoPQL: A Geographical Pictorial Query Language That Resolves Ambiguities in Query Interpretation.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
23	Anastasiya Sotnykova, Christelle Vangenot, Nadine Cullot, Nacéra Bennacer, Marie-Aude Aufaure	Semantic Mappings in Description Logics for Spatio-temporal Database Schema Integration.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
23	Gilberto Zonta Pastorello Jr., Claudia Bauzer Medeiros, Silvania Maria de Resende, Henrique Aparecido da Rocha	Interoperability for GIS Document Management in Environmental Planning.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
23	Jeffrey Parsons, Yair Wand	Attribute-Based Semantic Reconciliation of Multiple Data Sources.	J. Data Semantics	2003	DBLP DOI BibTeX RDF