Search results for "denotation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
96	Jean-Marc Talbot	On the Alternation-Free Horn Mu-calculus.	LPAR	2000	DBLP DOI BibTeX RDF
80	Roger L. Norton	Information systems as implementations (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
79	Urszula Wybraniec-Skardowska	Meaning and Interpretation. II.	Stud Logica	2007	DBLP DOI BibTeX RDF	interpretational referring, interpretational denotation, language communication, Interpretation, meaning
79	Urszula Wybraniec-Skardowska	Meaning and Interpretation. I.	Stud Logica	2007	DBLP DOI BibTeX RDF	Token-type distinction, token-syntax, type-syntax, denotation, synonymy unambiguity, ambiguity, meaning, referring
48	Thomas Anberrée	First-Order Universality for Real Programs.	CiE	2009	DBLP DOI BibTeX RDF	real number computation, simply typed lambda-calculus, computability, denotational semantics
48	Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki	A Formal Definition of Complex Software.	ICSEA	2008	DBLP DOI BibTeX RDF
48	Thomas Anberrée	A Denotational Semantics for Total Correctness of Sequential Exact Real Programs.	TAMC	2008	DBLP DOI BibTeX RDF
32	C.-H. Luke Ong	Observational Equivalence of 3rd-Order Idealized Algol is Decidable.	LICS	2002	DBLP DOI BibTeX RDF
32	Markus Lepper 0001, Baltasar Trancón y Widemann, Jacob Wieland	Minimize Mark-Up ! Natural Writing Should Guide the Design of Textual Modeling Frontends.	ER	2001	DBLP DOI BibTeX RDF
32	Graham H. B. Roberts	The Derivation of Functional Equivalents of Imperative Programs.	ACSC	2001	DBLP DOI BibTeX RDF
32	Prateek Mishra, Robert M. Keller	Static Inference of Properties of Applicative Programs.	POPL	1984	DBLP DOI BibTeX RDF
31	Peter Wendorff	A formal approach to the assessment and improvement of terminological models used in information systems engineering.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	denotation, abstraction, concept, naming, identifier, terminology
28	Eric E. Allen	Neural Networks and Denotation.	CoRR	2021	DBLP BibTeX RDF
28	Bowen Zhang 0002, Hexiang Hu, Vihan Jain, Eugene Ie, Fei Sha	Learning to Represent Image and Text with Denotation Graph.	CoRR	2020	DBLP BibTeX RDF
28	Albert Webson, Zhizhong Chen, Carsten Eickhoff, Ellie Pavlick	Are "Undocumented Workers" the Same as "Illegal Aliens"? Disentangling Denotation and Connotation in Vector Spaces.	CoRR	2020	DBLP BibTeX RDF
28	Albert Webson, Zhizhong Chen, Carsten Eickhoff, Ellie Pavlick	Do "Undocumented Workers" == "Illegal Aliens"? Differentiating Denotation and Connotation in Vector Spaces.	EMNLP (1)	2020	DBLP DOI BibTeX RDF
28	Bowen Zhang 0002, Hexiang Hu, Vihan Jain, Eugene Ie, Fei Sha	Learning to Represent Image and Text with Denotation Graph.	EMNLP (1)	2020	DBLP DOI BibTeX RDF
28	Miroslav Vodolán, Filip Jurcícek	Denotation Extraction for Interactive Learning in Dialogue Systems.	CoRR	2018	DBLP BibTeX RDF
28	Miroslav Vodolán, Filip Jurcícek	Denotation extraction for interactive learning in dialogue systems.	ASRU	2017	DBLP DOI BibTeX RDF
28	Keng Hwee Neo, Helena Gao	Word Learning by Young Bilinguals: Understanding the Denotation and Connotation Differences of "Cut" Verbs in English and Chinese.	PACLIC	2017	DBLP BibTeX RDF
28	Luca Tranchini	Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.	J. Log. Comput.	2016	DBLP DOI BibTeX RDF
28	Murdoch James Gabbay, Aleksandar Nanevski	Denotation of contextual modal type theory (CMTT): Syntax and meta-programming.	J. Appl. Log.	2013	DBLP DOI BibTeX RDF
28	Murdoch Gabbay, Aleksandar Nanevski	Denotation of syntax and metaprogramming in contextual modal type theory (CMTT)	CoRR	2012	DBLP BibTeX RDF
28	Aina Peris, Mariona Taulé, Horacio Rodríguez	Empirical Methods for the Study of Denotation in Nominalizations in Spanish.	Comput. Linguistics	2012	DBLP DOI BibTeX RDF
28	Casper Storm Hansen	A Kripkean Solution to Paradoxes of Denotation.	ESSLLI Student Sessions	2011	DBLP DOI BibTeX RDF
28	Kevin C. Klement	The senses of functions in the Logic of Sense and Denotation.	Bull. Symb. Log.	2010	DBLP DOI BibTeX RDF
28	Aina Peris, Mariona Taulé, Gemma Boleda, Horacio Rodríguez	ADN-Classifier: Automatically Assigning Denotation Types to Nominalizations.	LREC	2010	DBLP BibTeX RDF
28	Raymond Bisdorff, Patrick Meyer, Thomas Veneziano	Inverse Analysis from a Condorcet Robustness Denotation of Valued Outranking Relations.	ADT	2009	DBLP DOI BibTeX RDF	inverse Multiple Criteria Decision Analysis, significance weights ellicitation, robustness, uncertainty
28	Bernd Braßel, Jan Christiansen	Denotation by Transformation.	LOPSTR	2007	DBLP DOI BibTeX RDF
28	Marco Luca Sbodio, Claude Moulin	Denotation of Semantic Web Services Operations through OWL-S.	SemWS	2006	DBLP BibTeX RDF
28	Qingming Fan, Hua Chen, Yan Cao, Baolong Liu, Yuexin Yang, Bo Sun, Rujia Zhao, Joan Lu	The Application of XML in the Denotation of Plant Diseases and Insect Pests Information.	International Conference on Internet Computing	2006	DBLP BibTeX RDF
28	Chris Condon, Mark J. Perry, Robert O'Keefe	Denotation and connotation in the human - computer interface: The 'Save as ...' command.	Behav. Inf. Technol.	2004	DBLP DOI BibTeX RDF
28	Peeter Lorents, Diana Lorents	Intelligence and the Notation-Denotation Relation.	IC-AI	2003	DBLP BibTeX RDF
28	Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia	Temporal Concurrent Constraint Programming: Denotation, Logic and Applications.	Nord. J. Comput.	2002	DBLP BibTeX RDF
28	Helen Couclelis, Jon Gottsegen	What Maps Mean to People: Denotation, Connotation, and Geographic Visualization in Land-Use Debates.	COSIT	1997	DBLP DOI BibTeX RDF
28	Paul E. Black, Phillip J. Windley	Autotically Synthesized Term Denotation Predicates: A Proof Aid.	TPHOLs	1995	DBLP DOI BibTeX RDF
28	Iadh Ounis	Une dénotation pour les graphes conceptuels: comparaison avec les logiques terminologiques en recherche d'informations.	INFORSID	1995	DBLP BibTeX RDF
28	C. Anthony Anderson	Semantical antinomies in the logic of sense and denotation.	Notre Dame J. Formal Log.	1987	DBLP DOI BibTeX RDF
28	Drew McDermott	Tarskian Semantics, or No Notation Without Denotation!	Cogn. Sci.	1978	DBLP DOI BibTeX RDF
28	Michael J. C. Gordon	Evaluation and denotation of pure LISP programs : a worked example in semantics.		1974	RDF
28	James M. Boyle, Albert A. Grau	An Algorithmic Semantics for ALGOL 60 Identifier Denotation.	J. ACM	1970	DBLP DOI BibTeX RDF	ALGOL
28	R. M. Martin	On Truth and Multiple Denotation.	J. Symb. Log.	1953	DBLP DOI BibTeX RDF
16	Matthew Hertz	What do "CS1" and "CS2" mean?: investigating differences in the early courses.	SIGCSE	2010	DBLP DOI BibTeX RDF	survey, cs1, cs2, curriculum design
16	Yaroslav Shramko, Heinrich Wansing	The Slingshot Argument and Sentential Identity.	Stud Logica	2009	DBLP DOI BibTeX RDF	Slingshot Argument, sentential identity, non-Fregean logic, fact ontology, situation semantics, term-forming operators, predicate abstraction
16	Wiebke Petersen	On the Construction of Sivasutras-Alphabets.	Sanskrit Computational Linguistics	2009	DBLP DOI BibTeX RDF	?ivas?tras, lattices, orders, P??ini
16	Roussanka Loukanova	beta-Reduction and Antecedent-Anaphora Relations in the Language of Acyclic Recursion.	IWANN (1)	2009	DBLP DOI BibTeX RDF
16	Sofia Stamou, Lefteris Kozanidis	Towards Faceted Search for Named Entity Queries.	APWeb/WAIM Workshops	2009	DBLP DOI BibTeX RDF	named entity queries, Wikipedia corpus, faceted search
16	Wen-Hsiao Peng, John Kar-Kin Zao, Hsueh-Ting Huang, Tse-Wei Wang, Lun-Chia Kuo	Multidimensional SVC bitstream adaptation and extraction for rate-distortion optimized heterogeneous multicasting and playback.	ICIP	2008	DBLP DOI BibTeX RDF
16	Dana Angluin, Leonor Becerra-Bonache	Learning Meaning Before Syntax.	ICGI	2008	DBLP DOI BibTeX RDF	semantics, corrections, finite-state transducers
16	Weiping Zhu 0003, Wei Liu, Zhuqing Huang	Average Fuzzy Direction Based Handwritten Chinese Characters Recognition Approach.	WKDD	2008	DBLP DOI BibTeX RDF
16	Fabio Gadducci, Alberto Lluch-Lafuente	Graphical Encoding of a Spatial Logic for the pi -Calculus.	CALCO	2007	DBLP DOI BibTeX RDF
16	Guy McCusker, David J. Pym	A Games Model of Bunched Implications.	CSL	2007	DBLP DOI BibTeX RDF
16	Ruth Manor	Solving the Heap.	Synth.	2006	DBLP DOI BibTeX RDF
16	Armin Hemmerling	The Hausdorff-Ershov Hierarchy in Euclidean Spaces.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D65, 03D55, 03F60, 26E40, 68Q01, 03E15
16	Ruizhi Sun, Guangli Liu, Meilin Shi	The Specification of Workflow Activity Multiple Instances.	CSCWD	2006	DBLP DOI BibTeX RDF
16	Heimo Müller, Fritz Wiesinger	Modelling "user understanding" in simple communication tasks.	CAI	2006	DBLP DOI BibTeX RDF	eye-gaze patterns, visual language, adaptive interfaces, mental models
16	Qinming He, Jianfei Qian, Hua Chen, Fangzhong Qi	Software Planned Learning and Recognition Based on the Sequence Learning and NARX Memory Model of Neural Network.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
16	Filippo Bonchi, Fabio Gadducci, Barbara König 0001	Process Bisimulation Via a Graphical Encoding.	ICGT	2006	DBLP DOI BibTeX RDF
16	Mike Dowman	Investigating the effect of random noise on the evolution of colour terms.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
16	Paul-André Melliès	Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic.	LICS	2005	DBLP DOI BibTeX RDF
16	Fabio Gadducci, Ugo Montanari	Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
16	Norman Ramsey, Kathleen Fisher, Paul Govereau	An expressive language of signatures.	ICFP	2005	DBLP DOI BibTeX RDF	signature manipulation, interfaces, signatures, standard ML, objective Caml, programming in the large
16	David Maier 0001, Jin Li 0003, Peter A. Tucker, Kristin Tufte, Vassilis Papadimos	Semantics of Data Streams and Operators.	ICDT	2005	DBLP DOI BibTeX RDF
16	Michael Eichberg, Mira Mezini, Klaus Ostermann	Pointcuts as Functional Queries.	APLAS	2004	DBLP DOI BibTeX RDF
16	Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode	On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
16	Paolo Avesani, Alessandro Agostini	A Peer-to-Peer Advertising Game.	ICSOC	2003	DBLP DOI BibTeX RDF
16	Ramanathan V. Guha, Rob McCool, Eric Miller 0001	Semantic search.	WWW	2003	DBLP DOI BibTeX RDF	semantic web, search
16	Juan Bicarregui	Do Not Read This.	FME	2002	DBLP DOI BibTeX RDF
16	C.-H. Luke Ong, Pietro Di Gianantonio	Games Characterizing Levy-Longo Trees.	ICALP	2002	DBLP DOI BibTeX RDF
16	Andrzej Filinski	Normalization by Evaluation for the Computational Lambda-Calculus.	TLCA	2001	DBLP DOI BibTeX RDF
16	Charles Tijus	Contextual Categorization and Cognitive Phenomena.	CONTEXT	2001	DBLP DOI BibTeX RDF
16	Glynn Winskel	A Linear Metalanguage for Concurrency.	AMAST	1998	DBLP DOI BibTeX RDF
16	Fausto Spoto, Giorgio Levi	Abstract Interpretation of Prolog Programs.	AMAST	1998	DBLP DOI BibTeX RDF
16	Graham A. Mann	Procedural Renunciation and the Semi-automatic Trap.	ICCS	1998	DBLP DOI BibTeX RDF
16	Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet	A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.	LOPSTR	1998	DBLP DOI BibTeX RDF
16	Roel van der Goot, Arie de Bruin	Syntax and Semantics of Procol.	MFCS	1995	DBLP DOI BibTeX RDF
16	Michel Wermelinger, José Gabriel Lopes	Basic Conceptual Structures Theory.	ICCS	1994	DBLP DOI BibTeX RDF	Key phrases formalization of CS theory, higher-order concept and relation types, type and marker hierarchies, metalevel and instance level
16	Roberto M. Amadio, Luca Cardelli	Subtyping Recursive Types.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	partial-equivalence relations, regular trees, tree orderings, type equivalence, typechecking algorithm, lambda-calculus, subtyping, recursive types, coercions
16	Christine Solnon, Michel Rueher	Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations.	LPAR	1993	DBLP DOI BibTeX RDF
16	Jan de Meer, Axel Rennoch, Jörg Burmeister	Formal approach to QoS specification and verification.	CASCON	1993	DBLP BibTeX RDF
16	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
16	Ulrich Hertrampf, Klaus W. Wagner	Interactive Proof Systems: Provers, Rounds, and Error Bounds.	CSL	1990	DBLP DOI BibTeX RDF
16	Peter Buneman, Susan B. Davidson, Aaron Watters	A Semantics for Complex Objects and Approximate Queries.	PODS	1988	DBLP DOI BibTeX RDF
16	Brian Q. Monahan	A Type Model for VDM.	VDM Europe	1987	DBLP DOI BibTeX RDF
16	Ernie Manes	Assertional Categories.	MFPS	1987	DBLP DOI BibTeX RDF
16	Robert M. Keller, Prakash Panangaden	Semantics of Networks Containing Indeterminate Operators.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
16	Patrick Cousot, Radhia Cousot	Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.	POPL	1977	DBLP DOI BibTeX RDF