Search results for "formality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
76	Louise Yeung, Beryl Plimmer, Brenda Lobb, Douglas Elliffe	Levels of formality in diagram presentation.	OZCHI	2007	DBLP DOI BibTeX RDF	prototyping, beautification, sketch tools
63	Catia M. Angelo, Luc J. M. Claesen, Hugo De Man	Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL.	HUG	1993	DBLP DOI BibTeX RDF
54	Nicolás Martín-Vivaldi, Peter Isacsson	Controlling your Design through your Software Process.	SAFECOMP	1998	DBLP DOI BibTeX RDF
49	Andrew Schofield, Grahame S. Cooper	Levels of Formality in FOSS Communities. (PDF / PS)	OSS	2007	DBLP DOI BibTeX RDF
49	Patrick Scotto di Luzio	Logical Systems and Formality.	Diagrams	2000	DBLP DOI BibTeX RDF
44	Can Li, Wenbo Wang, Bitty Balducci, Lingshu Hu, Matthew Gordon, Detelina Marinova, Yi Shang	Deep Formality: Sentence Formality Prediction with Deep Learning.	IRI	2022	DBLP DOI BibTeX RDF
44	Haiying Li, Art C. Graesser	Impact of Conversational Formality on the Quality and Formality of Written Summaries.	AIED (1)	2020	DBLP DOI BibTeX RDF
43	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
35	Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta, Han (Daphne) Yan-Bondoc	An Experimental Investigation of Formality in UML-Based Development.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Comprehension of software models, software engineering experimentation, UML, OCL
35	Anthony Hall	Correctness by Construction: Integrating Formality into a Commercial Development Process.	FME	2002	DBLP DOI BibTeX RDF
35	Juan Bicarregui	Exploiting Formality in Software Engineering.	SOFSEM	1999	DBLP DOI BibTeX RDF
29	Chia-Chu Chiang	An Introduction to TUG: A Language for Writing Reusable Formal Program Specifications.	ITCC (2)	2005	DBLP DOI BibTeX RDF	Generic Specifications, Reusable Specifications, Software Reuse and TUG, Formality
29	Catherine C. Marshall	NoteCards in the age of the web: practice meets perfect.	ACM J. Comput. Documentation	2001	DBLP DOI BibTeX RDF	World-Wide Web, World Wide Web (WWW), user interface design, retrieval, formality, reading, use, hypertext/hypermedia
29	Chia-Chu Chiang, David Neubart	Constructing Reusable Specifications Through Analogy.	SAC	1999	DBLP DOI BibTeX RDF	TUG, specifications, reusability, formality
27	José Gonçalo A. Oliveira Basto da Silva, Paulo Rupino da Cunha	Reconciling the Irreconcilable? A Software Development Approach that Combines Agile with Formal.	HICSS	2006	DBLP DOI BibTeX RDF
27	M. Cecilia Bastarrica, Sergio F. Ochoa, Pedro O. Rossel	Integrated Notation for Software Architecture Specifications.	SCCC	2004	DBLP DOI BibTeX RDF	software architecture, Architecture definition languages
27	J. Paul Gibson	Formal Requirements Engineering: Learning from the Students.	Australian Software Engineering Conference	2000	DBLP DOI BibTeX RDF	customer models, verification, validation, teaching
22	Matthew Gaughan, Kaylea Champion, Sohyeon Hwang	Engineering Formality and Software Risk in Debian Python Packages.	CoRR	2024	DBLP DOI BibTeX RDF
22	Sebastian Oberdörfer, Sandra Birnstiel, Marc Erich Latoschik	Influence of Virtual Shoe Formality on Gait and Cognitive Performance in a VR Walking Task.	VR	2024	DBLP DOI BibTeX RDF
22	Rui Roberto Ramos, Niall Hayes, Monideepa Tarafdar	E-formality and data justice: the individualization of street trade in Recife, Brazil.	Inf. Technol. Dev.	2023	DBLP DOI BibTeX RDF
22	Seungjun Lee, Hyeonseok Moon, Chanjun Park, Heuiseok Lim	Data-Driven Approach for Formality-Sensitive Machine Translation: Language-Specific Handling and Synthetic Data Generation.	CoRR	2023	DBLP DOI BibTeX RDF
22	Harshita Tyagi, Prashasta Jung, Hyowon Lee 0001	Machine Translation to Control Formality Features in the Target Language.	CoRR	2023	DBLP DOI BibTeX RDF
22	Henry Li Xinyuan, Ray Lee, Jerry Chen, Kelly Marchisio	Learning a Formality-Aware Japanese Sentence Representation.	CoRR	2023	DBLP DOI BibTeX RDF
22	Vipula Rawte, Prachi Priya, S. M. Towhidul Islam Tonmoy, S. M. Mehedi Zaman, Amit P. Sheth, Amitava Das	Exploring the Relationship between LLM Hallucinations and Prompt Linguistic Nuances: Readability, Formality, and Concreteness.	CoRR	2023	DBLP DOI BibTeX RDF
22	Asim Ersoy, Gerson Vizcarra, Tasmiah Tahsin Mayeesha, Benjamin Muller	In What Languages are Generative Language Models the Most Formal? Analyzing Formality Distribution across Languages.	CoRR	2023	DBLP DOI BibTeX RDF
22	Yujong Hwang, Hui Lin 0003, Donghee Shin	An Empirical Study on the Information Formality Motivation, Social Influence, and Goal Commitment of Knowledge Workers.	Int. J. Enterp. Inf. Syst.	2023	DBLP DOI BibTeX RDF
22	Daryna Dementieva, Nikolay Babakov, Alexander Panchenko	Detecting Text Formality: A Study of Text Classification Approaches.	RANLP	2023	DBLP BibTeX RDF
22	Tirthankar Dasgupta, Manjira Sinha, Chundru Geetha Praveen	Graph Induced Transformer Network for Detection of Politeness and Formality in Text.	WWW (Companion Volume)	2023	DBLP DOI BibTeX RDF
22	Edison Marrese-Taylor, Pin Chen Wang, Yutaka Matsuo	Towards Better Evaluation for Formality-Controlled English-Japanese Machine Translation.	WMT	2023	DBLP DOI BibTeX RDF
22	Parnia Bahar, Patrick Wilken, Javier Iranzo-Sánchez, Mattia Di Gangi, Evgeny Matusov, Zoltán Tüske	Speech Translation with Style: AppTek's Submissions to the IWSLT Subtitling and Formality Tracks in 2023.	IWSLT@ACL	2023	DBLP DOI BibTeX RDF
22	Zhanglin Wu, Zongyao Li, Daimeng Wei, Hengchao Shang, Jiaxin Guo, Xiaoyu Chen 0004, Zhiqiang Rao, Zhengzhe Yu, Jinlong Yang, Shaojun Li, Yuhao Xie, Bin Wei, Jiawei Zheng, Ming Zhu, Lizhi Lei, Hao Yang 0006, Yanfei Jiang	Improving Neural Machine Translation Formality Control with Domain Adaptation and Reranking-based Transductive Learning.	IWSLT@ACL	2023	DBLP DOI BibTeX RDF
22	Priyesh Vakharia, Shree Vignesh S, Pranjali Basmatkar	Low-Resource Formality Controlled NMT Using Pre-trained LM.	IWSLT@ACL	2023	DBLP DOI BibTeX RDF
22	Seungjun Lee, Hyeonseok Moon, Chanjun Park, Heuiseok Lim	Improving Formality-Sensitive Machine Translation Using Data-Centric Approaches and Prompt Engineering.	IWSLT@ACL	2023	DBLP DOI BibTeX RDF
22	Jackson Stokes, Tal August, Robert A Marver, Alexei Czeskis, Franziska Roesner, Tadayoshi Kohno, Katharina Reinecke	How Language Formality in Security and Privacy Interfaces Impacts Intended Compliance.	CHI	2023	DBLP DOI BibTeX RDF
22	Elisabeth Eder, Ulrike Krieg-Holz, Michael Wiegand	A Question of Style: A Dataset for Analyzing Formality on Different Levels.	EACL (Findings)	2023	DBLP DOI BibTeX RDF
22	Dohee Kim, Yujin Baek, Soyoung Yang, Jaegul Choo	Towards Formality-Aware Neural Machine Translation by Leveraging Context Information.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
22	Asim Ersoy, Gerson Vizcarra, Tasmiah Tahsin Mayeesha, Benjamin Muller	In What Languages are Generative Language Models the Most Formal? Analyzing Formality Distribution across Languages.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
22	Ao Liu, An Wang, Naoaki Okazaki	Semi-Supervised Formality Style Transfer with Consistency Training.	CoRR	2022	DBLP DOI BibTeX RDF
22	Maria Nadejde, Anna Currey, Benjamin Hsu, Xing Niu 0001, Marcello Federico, Georgiana Dinu	CoCoA-MT: A Dataset and Benchmark for Contrastive Controlled MT with Application to Formality.	CoRR	2022	DBLP DOI BibTeX RDF
22	Sebastian T. Vincent, Loïc Barrault, Carolina Scarton	Controlling Formality in Low-Resource NMT with Domain Adaptation and Re-Ranking: SLT-CDT-UoS at IWSLT2022.	CoRR	2022	DBLP DOI BibTeX RDF
22	Huiyuan Lai, Jiali Mao, Antonio Toral, Malvina Nissim	Human Judgement as a Compass to Navigate Automatic Metrics for Formality Transfer.	CoRR	2022	DBLP DOI BibTeX RDF
22	Elijah Rippeth, Sweta Agrawal, Marine Carpuat	Controlling Translation Formality Using Pre-trained Multilingual Language Models.	CoRR	2022	DBLP DOI BibTeX RDF
22	Daryna Dementieva, Ivan Trifinov, Andrey Likhachev, Alexander Panchenko	Detecting Text Formality: A Study of Text Classification Approaches.	CoRR	2022	DBLP DOI BibTeX RDF
22	Silvana Pedrozo, Francisco Klauser	Between formality and informality: A critical study of the integration of drones within the Neuchâtel police force.	Inf. Polity	2022	DBLP DOI BibTeX RDF
22		Erratum to: Between formality and informality: A critical study of the integration of drones within the Neuchâtel police force.	Inf. Polity	2022	DBLP DOI BibTeX RDF
22	Sebastian T. Vincent, Loïc Barrault, Carolina Scarton	Controlling Formality in Low-Resource NMT with Domain Adaptation and Re-Ranking: SLT-CDT-UoS at IWSLT2022.	IWSLT@ACL	2022	DBLP DOI BibTeX RDF
22	Elijah Rippeth, Sweta Agrawal, Marine Carpuat	Controlling Translation Formality Using Pre-trained Multilingual Language Models.	IWSLT@ACL	2022	DBLP DOI BibTeX RDF
22	Daniel Zhang, Jiang Yu, Pragati Verma, Ashwinkumar Ganesan, Sarah Campbell	Improving Machine Translation Formality Control with Weakly-Labelled Data Augmentation and Post Editing Strategies.	IWSLT@ACL	2022	DBLP DOI BibTeX RDF
22	Maria Nadejde, Anna Currey, Benjamin Hsu, Xing Niu 0001, Marcello Federico, Georgiana Dinu	CoCoA-MT: A Dataset and Benchmark for Contrastive Controlled MT with Application to Formality.	NAACL-HLT (Findings)	2022	DBLP DOI BibTeX RDF
22	Samuel Rhys Cox, Wei Tsang Ooi	Does Chatbot Language Formality Affect Users' Self-Disclosure?	CUI	2022	DBLP DOI BibTeX RDF
22	Angela Giovanna Patarroyo, Katja Maquate, Aine Ito, Pia Knoeferle	Investigating the real-time effect of register-situation formality congruence versus verb-argument semantic fit during spoken language comprehension.	CogSci	2022	DBLP BibTeX RDF
22	Ana-Maria Plesca, Katja Maquate, Pia Knoeferle	The interplay of situation-formality register congruence and verb-argument relations.	CogSci	2022	DBLP BibTeX RDF
22	Ao Liu, An Wang, Naoaki Okazaki	Semi-Supervised Formality Style Transfer with Consistency Training.	ACL (1)	2022	DBLP DOI BibTeX RDF
22	Eleftheria Briakou, Di Lu, Ke Zhang, Joel R. Tetreault	XFORMAL: A Benchmark for Multilingual Formality Style Transfer.	CoRR	2021	DBLP BibTeX RDF
22	Huiyuan Lai, Antonio Toral, Malvina Nissim	Thank you BART! Rewarding Pre-Trained Models Improves Formality Style Transfer.	CoRR	2021	DBLP BibTeX RDF
22	Zonghai Yao, Hong Yu 0001	Improving Formality Style Transfer with Context-Aware Rule Injection.	CoRR	2021	DBLP BibTeX RDF
22	Eleftheria Briakou, Sweta Agrawal, Joel R. Tetreault, Marine Carpuat	Evaluating the Evaluation Metrics for Style Transfer: A Case Study in Multilingual Formality Transfer.	CoRR	2021	DBLP BibTeX RDF
22	Jiaheng Xie, Bin Zhang, Susan A. Brown, Daniel Zeng 0001	Write Like a Pro or an Amateur? Effect of Medical Language Formality.	ACM Trans. Manag. Inf. Syst.	2021	DBLP DOI BibTeX RDF
22	Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim	Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S).	SEKE	2021	DBLP DOI BibTeX RDF
22	Eleftheria Briakou, Di Lu, Ke Zhang, Joel R. Tetreault	Olá, Bonjour, Salve! XFORMAL: A Benchmark for Multilingual Formality Style Transfer.	NAACL-HLT	2021	DBLP DOI BibTeX RDF
22	Elisabeth Eder, Ulrike Krieg-Holz, Udo Hahn	Acquiring a Formality-Informed Lexical Resource for Style Analysis.	EACL	2021	DBLP DOI BibTeX RDF
22	Eleftheria Briakou, Sweta Agrawal, Joel R. Tetreault, Marine Carpuat	Evaluating the Evaluation Metrics for Style Transfer: A Case Study in Multilingual Formality Transfer.	EMNLP (1)	2021	DBLP DOI BibTeX RDF
22	Mariano de Rivero, Cristhiam Tirado, Willy Ugarte	FormalStyler: GPT based Model for Formal Style Transfer based on Formality and Meaning Preservation.	KDIR	2021	DBLP DOI BibTeX RDF
22	Somayeh Jafaritazehjani, Gwénolé Lecorvé, Damien Lolive, John D. Kelleher	Style as Sentiment Versus Style as Formality: The Same or Different?	ICANN (5)	2021	DBLP DOI BibTeX RDF
22	Huiyuan Lai, Antonio Toral, Malvina Nissim	Thank you BART! Rewarding Pre-Trained Models Improves Formality Style Transfer.	ACL/IJCNLP (2)	2021	DBLP DOI BibTeX RDF
22	Zonghai Yao, Hong Yu 0001	Improving Formality Style Transfer with Context-Aware Rule Injection.	ACL/IJCNLP (1)	2021	DBLP DOI BibTeX RDF
22	Kunal Chawla, Diyi Yang	Semi-supervised Formality Style Transfer using Language Model Discriminator and Mutual Information Maximization.	CoRR	2020	DBLP BibTeX RDF
22	Yi Zhang 0050, Tao Ge 0001, Xu Sun 0001	Parallel Data Augmentation for Formality Style Transfer.	CoRR	2020	DBLP BibTeX RDF
22	Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik	Just Enough Formality in Assurance Argument Structures.	SAFECOMP	2020	DBLP DOI BibTeX RDF
22	Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman 0001, Nicholas Clarke, Jared Corduan, Neil J. Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova	Flexible Formality Practical Experience with Agile Formal Methods.	TFP	2020	DBLP DOI BibTeX RDF
22	Xing Niu 0001, Marine Carpuat	Controlling Neural Machine Translation Formality with Synthetic Supervision.	AAAI	2020	DBLP DOI BibTeX RDF
22	Yunli Wang, Yu Wu 0012, Lili Mou, Zhoujun Li 0001, Wen-Han Chao	Formality Style Transfer with Shared Latent Space.	COLING	2020	DBLP DOI BibTeX RDF
22	Kunal Chawla, Diyi Yang	Semi-supervised Formality Style Transfer using Language Model Discriminator and Mutual Information Maximization.	EMNLP (Findings)	2020	DBLP DOI BibTeX RDF
22	Yi Zhang 0050, Tao Ge 0001, Xu Sun 0001	Parallel Data Augmentation for Formality Style Transfer.	ACL	2020	DBLP DOI BibTeX RDF
22	Aleksy Tralle	On Formality of Some Homogeneous Spaces.	Symmetry	2019	DBLP DOI BibTeX RDF
22	Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer 0001	Formality in Software Requirements.	CoRR	2019	DBLP BibTeX RDF
22	Xing Niu 0001, Marine Carpuat	Controlling Neural Machine Translation Formality with Synthetic Supervision.	CoRR	2019	DBLP BibTeX RDF
22	Ruochen Xu, Tao Ge 0001, Furu Wei	Formality Style Transfer with Hybrid Textual Annotations.	CoRR	2019	DBLP BibTeX RDF
22	Isak Czeresnia Etinger, Alan W. Black	Formality Style Transfer for Noisy, User-generated Conversations: Extracting Labeled, Parallel Data from Unlabeled Corpora.	W-NUT@EMNLP	2019	DBLP DOI BibTeX RDF
22	Martin Dixon	An Increasing Need for Formality (Invited Talk).	ITP	2019	DBLP DOI BibTeX RDF
22	Yunli Wang, Yu Wu 0012, Lili Mou, Zhoujun Li 0001, Wenhan Chao	Harnessing Pre-Trained Neural Networks with Rules for Formality Style Transfer.	EMNLP/IJCNLP (1)	2019	DBLP DOI BibTeX RDF
22	Kushal Chawla, Balaji Vasan Srinivasan, Niyati Chhaya	Generating Formality-Tuned Summaries Using Input-Dependent Rewards.	CoNLL	2019	DBLP DOI BibTeX RDF
22	Martin Dixon	An Increasing Need for Formality (Keynote).	FMCAD	2019	DBLP DOI BibTeX RDF
22	Heeryung Choi, Nia Dowell, Christopher Brooks 0001, Stephanie D. Teasley	Social Comparison in MOOCs: Perceived SES, Opinion, and Message Formality.	LAK	2019	DBLP DOI BibTeX RDF
22	Aditi Viswanathan, Varden Wang, Antonina Kononova	Controlling Formality and Style of Machine Translation Output Using AutoML.	SIMBig	2019	DBLP DOI BibTeX RDF
22	Demen Güler	Characterizing Formality.		2019	RDF
22	Sebastian Böhne	Different degrees of formality (Verschiedene Formalitätsgrade) (PDF / PS)		2019	RDF
22	Sudha Rao, Joel R. Tetreault	Dear Sir or Madam, May I introduce the YAFC Corpus: Corpus, Benchmarks and Metrics for Formality Style Transfer.	CoRR	2018	DBLP BibTeX RDF
22	Jeffrey D. Carlson, Chi-Kwong Fok	Equivariant formality of isotropy actions.	J. Lond. Math. Soc.	2018	DBLP DOI BibTeX RDF
22	Gerard Wagenaar, Sietse Overbeek, Sjaak Brinkkemper	Fuzzy Artefacts: Formality of Communication in Agile Teams.	QUATIC	2018	DBLP DOI BibTeX RDF
22	Sudha Rao, Joel R. Tetreault	Dear Sir or Madam, May I Introduce the GYAFC Dataset: Corpus, Benchmarks and Metrics for Formality Style Transfer.	NAACL-HLT	2018	DBLP DOI BibTeX RDF
22	Haiying Li, Art Graesser	Impact of Pedagogical Agents' Conversational Formality on Learning and Engagement.	AIED	2017	DBLP DOI BibTeX RDF
22	Xing Niu 0001, Marianna J. Martindale, Marine Carpuat	A Study of Style in Machine Translation: Controlling the Formality of Machine Translation Output.	EMNLP	2017	DBLP DOI BibTeX RDF
22	Costanza Asnaghi, Dirk Speelman, Dirk Geeraerts	Geographical patterns of formality variation in written Standard California English.	Digit. Scholarsh. Humanit.	2016	DBLP DOI BibTeX RDF
22	Ellie Pavlick, Joel R. Tetreault	An Empirical Analysis of Formality in Online Communication.	Trans. Assoc. Comput. Linguistics	2016	DBLP DOI BibTeX RDF
22	Thin Nguyen, Svetha Venkatesh, Dinh Q. Phung	Large-Scale Stylistic Analysis of Formality in Academia and Social Media.	WISE (2)	2016	DBLP DOI BibTeX RDF
22	Ethan Sherr-Ziarko	Acoustic Properties of Formality in Conversational Japanese.	INTERSPEECH	2016	DBLP DOI BibTeX RDF
22	Partha Mukherjee, Bernard J. Jansen	Formality Identification in Social Media Dialogue.	SBP-BRiMS	2016	DBLP DOI BibTeX RDF
22	Karin Dessne, Katriina Byström	Imitating CoPs: Imposing formality on informality.	J. Assoc. Inf. Sci. Technol.	2015	DBLP DOI BibTeX RDF
22	Julie Brumberg-Chaumont	Erratum to: Universal Logic and Aristotelian Logic: Formality and Essence of Logic.	Logica Universalis	2015	DBLP DOI BibTeX RDF