Search results for "underspecification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
98	Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen	Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.	FMOODS	2006	DBLP DOI BibTeX RDF
89	Johan Bos	Computational Semantics in Discourse: Underspecification, Resolution, and Inference.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	discourse representation theory, scope ambiguities, structural ambiguities, theorem proving, inference, discourse analysis, computational semantics, underspecification, lexical ambiguities
65	Alexander Koller, Joachim Niehren, Ralf Treinen	Dominance Constraints: Algorithms and Complexity.	LACL	1998	DBLP DOI BibTeX RDF	Dominance constraints, complexity, constraint programming, computational linguistics, underspecification
61	Alda Mari, Patrick Saint-Dizier	Some Principles for Implementing Underspecification in NLP Systems.	Natural Language Processing	2000	DBLP DOI BibTeX RDF
55	Gary T. Leavens, Jeannette M. Wing	Protective Interface Specifications.	TAPSOFT	1997	DBLP DOI BibTeX RDF
47	Joachim Niehren, Alexander Koller	Dominance Constraints in Context Unification.	LACL	1998	DBLP DOI BibTeX RDF	tree descriptions, unification theory, Computational linguistics, computational logics, underspecification
43	David Gries, Fred B. Schneider	Avoiding the Undefined by Underspecification.	Computer Science Today	1995	DBLP DOI BibTeX RDF
36	Flávio Oquendo	pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	architecture refinement languages, formal development techniques, software architectures, stepwise refinement
28	Helen Schonenberg, Ronny Mans, Nick Russell, Nataliya Mulyar, Wil M. P. van der Aalst	Process Flexibility: A Survey of Contemporary Approaches.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	flexible PAIS, design, Taxonomy, change, deviation, underspecification
28	Pawel P. Mazur, Robert Dale	The DANTE Temporal Expression Tagger.	LTC	2007	DBLP DOI BibTeX RDF	Temporal expression tagging, semantics, underspecification
25	Frank Wildenburg, Michael Hanna 0001, Sandro Pezzelle	Do Pre-Trained Language Models Detect and Understand Semantic Underspecification? Ask the DUST!	CoRR	2024	DBLP DOI BibTeX RDF
25	Emily McMilin	Underspecification in Language Modeling Tasks: A Causality-Informed Study of Gendered Pronoun Resolution.	AAAI	2024	DBLP DOI BibTeX RDF
25	Sandro Pezzelle	Dealing with Semantic Underspecification in Multimodal NLP.	CoRR	2023	DBLP DOI BibTeX RDF
25	Jonathan Tang, McClain Kressman, Harsha Lakshmankumar, Belle Aduaka, Ava Jakusovszky, Paul Anderson, Jean Davidson	PUMP: An Underspecification Analysis Tool.	BIOINFORMATICS	2023	DBLP DOI BibTeX RDF
25	Fabrício Olivetti de França	Fighting Underspecification in Symbolic Regression with Fitness Sharing.	GECCO Companion	2023	DBLP DOI BibTeX RDF
25	Sandro Pezzelle	Dealing with Semantic Underspecification in Multimodal NLP.	ACL (1)	2023	DBLP DOI BibTeX RDF
25	Alexander D'Amour, Katherine A. Heller, Dan Moldovan, Ben Adlam, Babak Alipanahi, Alex Beutel, Christina Chen, Jonathan Deaton, Jacob Eisenstein, Matthew D. Hoffman, Farhad Hormozdiari, Neil Houlsby, Shaobo Hou, Ghassen Jerfel, Alan Karthikesalingam, Mario Lucic, Yi-An Ma, Cory Y. McLean, Diana Mincu, Akinori Mitani, Andrea Montanari, Zachary Nado, Vivek Natarajan, Christopher Nielson, Thomas F. Osborne, Rajiv Raman 0003, Kim Ramasamy, Rory Sayres, Jessica Schrouff, Martin Seneviratne, Shannon Sequeira, Harini Suresh, Victor Veitch, Max Vladymyrov, Xuezhi Wang 0002, Kellie Webster, Steve Yadlowsky, Taedong Yun, Xiaohua Zhai, D. Sculley	Underspecification Presents Challenges for Credibility in Modern Machine Learning.	J. Mach. Learn. Res.	2022	DBLP BibTeX RDF
25	Ben Hutchinson, Jason Baldridge, Vinodkumar Prabhakaran	Underspecification in Scene Description-to-Depiction Tasks.	CoRR	2022	DBLP DOI BibTeX RDF
25	Vindula Jayawardana, Catherine Tang, Sirui Li, Dajiang Suo, Cathy Wu 0002	The Impact of Task Underspecification in Evaluating Deep Reinforcement Learning.	CoRR	2022	DBLP DOI BibTeX RDF
25	Damien Teney, Maxime Peyrard, Ehsan Abbasnejad	Predicting is not Understanding: Recognizing and Addressing Underspecification in Machine Learning.	CoRR	2022	DBLP DOI BibTeX RDF
25	Ben Hutchinson, Jason Baldridge, Vinodkumar Prabhakaran	Underspecification in Scene Description-to-Depiction Tasks.	AACL/IJCNLP (1)	2022	DBLP BibTeX RDF
25	Vindula Jayawardana, Catherine Tang, Sirui Li, Dajiang Suo, Cathy Wu 0002	The Impact of Task Underspecification in Evaluating Deep Reinforcement Learning.	NeurIPS	2022	DBLP BibTeX RDF
25	Damien Teney, Maxime Peyrard, Ehsan Abbasnejad	Predicting Is Not Understanding: Recognizing and Addressing Underspecification in Machine Learning.	ECCV (23)	2022	DBLP DOI BibTeX RDF
25	Tessa C. Warren, Haley C. Dresang	Event-Predictive Cognition: Underspecification and Interaction With Language.	Top. Cogn. Sci.	2021	DBLP DOI BibTeX RDF
25	Noptanit Chotisarn, Wissarut Pimanmassuriya, Sarun Gulyanon	Deep Learning Visualization for Underspecification Analysis in Product Design Matching Model Development.	IEEE Access	2021	DBLP DOI BibTeX RDF
25	Guillermo Ortiz-Jiménez, Itamar Franco Salazar-Reque, Apostolos Modas, Seyed-Mohsen Moosavi-Dezfooli, Pascal Frossard	A neural anisotropic view of underspecification in deep learning.	CoRR	2021	DBLP BibTeX RDF
25	Alkis Gotovos, Rebekka Burkholz, John Quackenbush, Stefanie Jegelka	Scaling up Continuous-Time Markov Chains Helps Resolve Underspecification.	CoRR	2021	DBLP BibTeX RDF
25	Andreas Triantafyllopoulos, Manuel Milling, Konstantinos Drossos, Björn W. Schuller	Fairness and underspecification in acoustic scene classification: The case for disaggregated evaluations.	CoRR	2021	DBLP BibTeX RDF
25	Tohru Seraku	A "Maximal Exclusion" Approach to Structural Underspecification in Dynamic Syntax.	J. Log. Lang. Inf.	2021	DBLP DOI BibTeX RDF
25	Stergios Chatzikyriakidis	Underspecification, Parsing Mismatches and Routinisation: The Historical Development of the Clitic Systems of Greek Dialects.	J. Log. Lang. Inf.	2021	DBLP DOI BibTeX RDF
25	Andreas Triantafyllopoulos, Manuel Milling, Konstantinos Drossos, Björn W. Schuller	Fairness and Underspecification in Acoustic Scene Classification: The Case for Disaggregated Evaluations.	DCASE	2021	DBLP BibTeX RDF
25	James Hinns, Xiuyi Fan, Siyuan Liu, Veera Raghava Reddy Kovvuri, Mehmet Orcun Yalcin, Markus Roggenbach	An Initial Study of Machine Learning Underspecification Using Feature Attribution Explainable AI Algorithms: A COVID-19 Virus Transmission Case Study.	PRICAI (1)	2021	DBLP DOI BibTeX RDF
25	Alkis Gotovos, Rebekka Burkholz, John Quackenbush, Stefanie Jegelka	Scaling up Continuous-Time Markov Chains Helps Resolve Underspecification.	NeurIPS	2021	DBLP BibTeX RDF
25	Alexander D'Amour, Katherine A. Heller, Dan Moldovan, Ben Adlam, Babak Alipanahi, Alex Beutel, Christina Chen, Jonathan Deaton, Jacob Eisenstein, Matthew D. Hoffman, Farhad Hormozdiari, Neil Houlsby, Shaobo Hou, Ghassen Jerfel, Alan Karthikesalingam, Mario Lucic, Yi-An Ma, Cory Y. McLean, Diana Mincu, Akinori Mitani, Andrea Montanari, Zachary Nado, Vivek Natarajan, Christopher Nielson, Thomas F. Osborne, Rajiv Raman 0003, Kim Ramasamy, Rory Sayres, Jessica Schrouff, Martin Seneviratne, Shannon Sequeira, Harini Suresh, Victor Veitch, Max Vladymyrov, Xuezhi Wang 0002, Kellie Webster, Steve Yadlowsky, Taedong Yun, Xiaohua Zhai, D. Sculley	Underspecification Presents Challenges for Credibility in Modern Machine Learning.	CoRR	2020	DBLP BibTeX RDF
25	Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe	An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems.	Software Engineering (Workshops)	2020	DBLP BibTeX RDF
25	Guillaume Thomas	Underspecification in Degree Operators.	J. Semant.	2018	DBLP DOI BibTeX RDF
25	John Chen 0001, Srinivas Bangalore	Underspecification in Natural Language Understanding for Dialog Automation.	RANLP	2017	DBLP DOI BibTeX RDF
25	Yue Yu, Yicheng Wu	The Interpretation of Elliptical Predicate Constructions in Mandarin: Semantic Underspecification and Pragmatic Enrichment.	ICAART (1)	2016	DBLP DOI BibTeX RDF
25	Federico Cabitza, Gianluca Colombo, Carla Simone	Leveraging underspecification in knowledge artifacts to foster collaborative activities in professional communities.	Int. J. Hum. Comput. Stud.	2013	DBLP DOI BibTeX RDF
25	Tohru Seraku	Structural Underspecification and Resolution within a Processing-oriented Grammar Formalism.	Int. J. Comput. Linguistics Appl.	2013	DBLP BibTeX RDF
25	Ragnhild Kobro Runde, Atle Refsdal, Ketil Stølen	Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
25	Héctor Martínez Alonso, Bolette Sandford Pedersen, Núria Bel	Annotation of regular polysemy and underspecification.	ACL (2)	2013	DBLP BibTeX RDF
25	Jeanette K. Gundel, Nancy Hedberg, Ron Zacharski	Underspecification of Cognitive Status in Reference Production: Some Empirical Predictions.	Top. Cogn. Sci.	2012	DBLP DOI BibTeX RDF
25	Roussanka Loukanova	A Predicative Operator and Underspecification by the Type Theory of Acyclic Recursion.	CSLP	2012	DBLP DOI BibTeX RDF
25	Lee Naish, Harald Søndergaard, Benjamin Horsfall	Logic Programming: From Underspecification to Undefinedness.	CATS	2012	DBLP BibTeX RDF
25	Héctor Martínez Alonso, Núria Bel, Bolette Sandford Pedersen	A voting scheme to detect semantic underspecification.	LREC	2012	DBLP BibTeX RDF
25	Alexander Koller, Stefan Thater, Manfred Pinkal	Scope Underspecification with Tree Descriptions: Theory and Practice.	Resource-Adaptive Cognitive Processes	2011	DBLP DOI BibTeX RDF
25	Markus Egg	Semantic Underspecification.	Lang. Linguistics Compass	2010	DBLP DOI BibTeX RDF
25	Aditi Lahiri, Henning Reetz	Distinctive features: Phonological underspecification in representation and processing.	J. Phonetics	2010	DBLP DOI BibTeX RDF
25	David Faragó	Improved Underspecification for Model-based Testing in Agile Development.	FM+AM	2010	DBLP BibTeX RDF
25	Steven Frisson	Semantic Underspecification in Language Processing.	Lang. Linguistics Compass	2009	DBLP DOI BibTeX RDF
25	Mark Kane, Julie Mauclair, Julie Carson-Berndsen	Automatic Identification of Phonetic Similarity Based on Underspecification.	LTC	2009	DBLP DOI BibTeX RDF
25	Edson José Pacheco, Holger Stenzhorn, Percy Nohama, Jan Paetzold, Stefan Schulz 0001	Detecting Underspecification in SNOMED CT Concept Definitions Through Natural Language Processing.	AMIA	2009	DBLP BibTeX RDF
25	Alexander Koller, Michaela Regneri, Stefan Thater	Regular Tree Grammars as a Formalism for Scope Underspecification.	ACL	2008	DBLP BibTeX RDF
25	Livio Robaldo	Dependency Tree Semantics: Branching Quantification in Underspecification.	AI*IA	2007	DBLP DOI BibTeX RDF
25	Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen	Refining UML Interactions with Underspecification and Nondeterminism.	Nord. J. Comput.	2005	DBLP BibTeX RDF
25	Chris Fox, Shalom Lappin	Polymorphic Quantifiers and Underspecification in Natural Language.	We Will Show Them! (1)	2005	DBLP BibTeX RDF
25	Serge Autexier, Armin Fiedler	Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity.	MKM	2005	DBLP DOI BibTeX RDF
25	Terje Sivertsen	Undefinedness vs. Underspecification in HALDEN ASL.	Nord. J. Comput.	2004	DBLP BibTeX RDF
25	Thomas Hanneforth, Silvan Heintze, Manfred Stede	Rhetorical Parsing with Underspecification and Forests.	HLT-NAACL	2003	DBLP BibTeX RDF
25	Alexander Koller, Joachim Niehren, Stefan Thater	Underspecification formalisms: Hole semantics as dominance constraints.	EACL	2003	DBLP BibTeX RDF
25	Werner Ceusters, Ignace Desimpel, Barry Smith 0001, Stefan Schulz 0001	Using Cross-Lingual Information to Cope with Underspecification in Formal Ontologies.	MIE	2003	DBLP DOI BibTeX RDF
25	Joachim Niehren, Stefan Thater	Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints.	ACL	2003	DBLP BibTeX RDF
25	Mila E. Majster-Cederbaum	Underspecification for a simple process algebra of recursive processes.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
25	Michal Walicki, Sigurd Meldal	Nondeterminism vs. Underspecification.	ISAS-SCI (1)	2001	DBLP BibTeX RDF
25	Markus Guhe, Frank Schilder	Incremental Generation of Self-corrections Using Underspecification.	CLIN	2001	DBLP BibTeX RDF
25	Eamonn O'Neill	Cooperative Development: Underspecification in External Representations and Software Usability.	HCI (1)	1999	DBLP BibTeX RDF
25	Alistair Willis, Suresh Manandhar	Two Accounts of Scope Availability and Semantic Underspecification.	ACL	1999	DBLP BibTeX RDF
25	Christof Monz	Dynamic Semantics and Underspecification.	ECAI	1998	DBLP BibTeX RDF
25	Inderjeet Mani	A Theory of Granularity and its Application to Problems of Polysemy and Underspecification of Meaning.	KR	1998	DBLP BibTeX RDF
25	Markus Egg, Joachim Niehren, Peter Ruhrberg, Feiyu Xu 0001	Constraints over Lambda-Structures in Semantic Underspecification.	COLING-ACL	1998	DBLP BibTeX RDF
25	Eric Aaron, David Gries	Formal Justification of Underspecification for S5.	Inf. Process. Lett.	1997	DBLP DOI BibTeX RDF
25	Dirk Heylen	Underspecification in Type-Logical Grammars.	LACL	1997	DBLP BibTeX RDF
25	Joachim Niehren, Manfred Pinkal, Peter Ruhrberg	A Uniform Approach to Underspecification and Parallelism.	ACL	1997	DBLP BibTeX RDF
25	Bernd Abb, Bianka Buschbeck-Wolf, Christel Tschernitschek	Abstraction and underspecification in semantic transfer.	AMTA	1996	DBLP BibTeX RDF
25	Yuko Kondo	Phonetic underspecification in schwa.	ICSLP	1994	DBLP DOI BibTeX RDF
25	Uwe Reyle	Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction.	J. Semant.	1993	DBLP DOI BibTeX RDF
18	Manuel Giuliani, Alois C. Knoll	MultiML: a general purpose representation language for multimodal human utterances.	ICMI	2008	DBLP DOI BibTeX RDF	human-robot interaction, multimodal, representation
18	Gordon Fraser 0001, Franz Wotawa	Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers.	ICSEA	2007	DBLP DOI BibTeX RDF
18	Xin Fu	Evaluating sources of implicit feedback in web searches.	RecSys	2007	DBLP DOI BibTeX RDF	query recommendation, user study, implicit feedback
18	Koen V. Hindriks	Modules as Policy-Based Intentions: Modular Agent Programming in GOAL.	PROMAS	2007	DBLP DOI BibTeX RDF
18	Marc Aiguier, Delphine Longuet	Test Selection Criteria for Modal Specifications of Reactive Systems.	TASE	2007	DBLP DOI BibTeX RDF	dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria
18	Alexander Egyed, David S. Wile	Support for Managing Design-Time Decisions.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	design choices, choice elimination, UML, consistency checking, design alternatives
18	Luis Reynoso, Marcela Genero, Mario Piattini, M. Esperanza Manso	Does object coupling really affect the understanding and modifying of OCL expressions?	SAC	2006	DBLP DOI BibTeX RDF	OCL expressions, UML/OCL models, object-oriented measures, coupling, controlled experiments, empirical validation, understandability, modifiability, structural properties
18	Fredrik Seehusen, Ketil Stølen	Information flow property preserving transformation of UML interaction diagrams.	SACMAT	2006	DBLP DOI BibTeX RDF	UML, refinement, model driven architecture, transformation, information flow security
18	Diana Santos, Nuno Cardoso	A Golden Resource for Named Entity Recognition in Portuguese.	PROPOR	2006	DBLP DOI BibTeX RDF
18	Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas	Merging Requirements Views with Incompleteness and Inconsistency.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF	Requirements Specification, Merging, Viewpoints, Inconsistency, Incompleteness
18	Moshe Deutsch, Martin C. Henson	An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement.	APSEC	2005	DBLP DOI BibTeX RDF
18	José M. Castaño, James Pustejovsky	Tagging with Delayed Disambiguation.	FSMNLP	2005	DBLP DOI BibTeX RDF
18	Yorick Wilks, Roberta Catizone	Lexical Tuning.	CICLing	2002	DBLP DOI BibTeX RDF
18	Joseph M. Morris, Alexander Bunkenburg	A theory of bunches.	Acta Informatica	2001	DBLP DOI BibTeX RDF
18	Wolfgang Wahlster	Pervasive Speech and Language Technology.	Informatics	2001	DBLP DOI BibTeX RDF
18	Torbjörn Lager, Joakim Nivre	Part of Speech Tagging from a Logical Point of View.	LACL	2001	DBLP DOI BibTeX RDF
18	Ralph Miarka, Eerke A. Boiten, John Derrick	Guards, Preconditions, and Refinement in Z.	ZB	2000	DBLP DOI BibTeX RDF
18	Radboud Winkels, D. J. B. Bosscher, A. W. F. Boer, J. A. Breuker	Generating exception structures for legal information serving.	ICAIL	1999	DBLP DOI BibTeX RDF	legal database, legal information serving, exceptions
18	Markus Egg, Claire Gardent, Michael Kohlhase	Steuerung der Inferenz in der Diskursverarbeitung.	Kognitionswissenschaft	1998	DBLP DOI BibTeX RDF
18	Simone Veglioni, Rocco De Nicola	Possible Worlds for Process Algebras.	CONCUR	1998	DBLP DOI BibTeX RDF
18	Manfred Broy	Functional Specification of Time-Sensitive Communicating Systems.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	functional system models, real-time systems, specification
18	Manfred Broy	Functional Specification of Time Sensitive Communicating Systems.	REX Workshop	1989	DBLP DOI BibTeX RDF