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 |
|