Search results for "fluent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
126	Ioan Salomie, Viorica R. Chifu, Ioana Harsa	Towards automated web service composition with fluent calculus and domain ontologies.	iiWAS	2008	DBLP DOI BibTeX RDF	fluent calculus, fluent calculus based planning, ontologies, web service composition
112	Helko Lehmann, Michael Leuschel	Decidability Results for the Propositional Fluent Calculus.	Computational Logic	2000	DBLP DOI BibTeX RDF	reasoning about action and change, fluent calculus, model checking, petri nets, temporal logics, decidability
86	Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel	Fluent temporal logic for discrete-time event-based models.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	discrete-time event-based models, fluent linear temporal logic, model-checking, software architecture analysis
86	Viorica R. Chifu, Ioan Salomie, Simona Manole	Fluent Calculus Based Web Service Composition.	RR	2008	DBLP DOI BibTeX RDF
73	Cuiping Hou, Chengwei Ma	Boundary Setting in Simulating Greenhouse Ventilation by Fluent Software.	CCTA	2007	DBLP DOI BibTeX RDF	fluent, simulation, boundary condition
66	Izabela Szczurowska, Wieslawa Kuniszyk-Józkowiak, Elzbieta Smolka	Speech nonfluency detection using Kohonen networks.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Speech disfluency, Neural networks, Kohonen network, Stuttering
59	Ozan Kahramanogullari, Michael Thielscher	A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak.	KI	2003	DBLP DOI BibTeX RDF
59	Dimitra Giannakopoulou, Jeff Magee	Fluent model checking for event-based systems.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	model-checking, linear temporal logic, software architecture analysis
59	Steffen Hölldobler, Dietrich Kuske	The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus.	LPAR	2000	DBLP DOI BibTeX RDF
59	Hans-Peter Störr, Michael Thielscher	A New Equational Foundation for the Fluent Calculus.	Computational Logic	2000	DBLP DOI BibTeX RDF
53	Ramón P. Otero	Embracing Causality in Inducing the Effects of Actions.	CAEPIA	2003	DBLP DOI BibTeX RDF
40	Michael Thielscher	Towards State Update Axioms: Reifying Successor State Axioms.	JELIA	1998	DBLP DOI BibTeX RDF
39	Saad Hassan, Matthew Seita, Larwan Berke, Yingli Tian, Elaine Gale, Sooyeon Lee, Matt Huenerfauth	ASL-Homework-RGBD Dataset: An annotated dataset of 45 fluent and non-fluent signers performing American Sign Language homeworks.	CoRR	2022	DBLP DOI BibTeX RDF
39	Nikhil Saini, Jyotsana Khatri, Preethi Jyothi, Pushpak Bhattacharyya	Generating Fluent Translations from Disfluent Text Without Access to Fluent References: IIT Bombay@IWSLT2020.	IWSLT	2020	DBLP DOI BibTeX RDF
39	Lorraine Baqué	Acoustic correlates of Spanish stress in fluent and non-fluent aphasia: A preliminary study.	ICPhS	2015	DBLP BibTeX RDF
39	Vincenzo Pallotta	Feature & Fluent revisited: from Event Calculus to Fluent Logic Programming.	ESSLLI Student Papers	1999	DBLP BibTeX RDF
33	Conrad Drescher, Michael Thielscher	A Fluent Calculus Semantics for ADL with Plan Constraints.	JELIA	2008	DBLP DOI BibTeX RDF
33	Ryan Shaun Joazeiro de Baker, M. P. Jacob Habgood, Shaaron Ainsworth, Albert T. Corbett	Modeling the Acquisition of Fluent Skill in Educational Action Games.	User Modeling	2007	DBLP DOI BibTeX RDF
33	Jan Nouza	Discrete and Fluent Voice Dictation in Czech Language.	TSD	2005	DBLP DOI BibTeX RDF
33	Eli Abir, Steve Klein, David Miller, Michael Steinbaum	Fluent Machines' EliMT System.	AMTA	2002	DBLP DOI BibTeX RDF
33	Steffen Hölldobler, Hans-Peter Störr	Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams.	Computational Logic	2000	DBLP DOI BibTeX RDF
33	Patricia Russo, Stephen Boor	How fluent is your interface?: designing for international users.	INTERCHI	1993	DBLP DOI BibTeX RDF	cross-cultural differences, localization, user interface design, internationalization
27	Xiangyang Huang, Xiao Xin, Wenjun Wu	Representing Non-deterministic Actions within the Situation Calculus for Autonomous Characters.	IITSI	2010	DBLP DOI BibTeX RDF	non-deterministic actions, epistemic fluent, situation calculus, linguistic variable
27	John R. Fisher	Logic program based action specifications.	SAC	1995	DBLP DOI BibTeX RDF	affirmation, denial, fluent, logic program, action, precondition, situation
26	J. Scott Hilberg, Gabriele Meiselwitz	Undergraduate fluency with information and communication technology: perceptions and reality.	SIGITE Conference	2008	DBLP DOI BibTeX RDF	fluency, ict, assessment, information literacy
26	Baohua Wang, Pinaki Mazumder	Accelerated Chip-Level Thermal Analysis Using Multilayer Green's Function.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
26	Guy Hoffman, Cynthia Breazeal	Cost-Based Anticipatory Action Selection for Human-Robot Fluency.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
26	Sheng Li, Mingxi Wan, Supin Wang	The Effects of the False Vocal Fold Gaps in a Model of the Larynx on Pressures Distributions and Flows.	HCI (12)	2007	DBLP DOI BibTeX RDF	false vocal folds, pressure distributions, model, Speech production
26	Guy Hoffman, Cynthia Breazeal	Effects of anticipatory action on human-robot teamwork efficiency, fluency, and perception of team.	HRI	2007	DBLP DOI BibTeX RDF	anticipatory action selection, fluency, human-robot interaction, teamwork
26	Baohua Wang, Pinaki Mazumder	A logarithmic full-chip thermal analysis algorithm based on multi-layer Green's function.	DATE	2006	DBLP DOI BibTeX RDF
26	Martha Birnbaum, Corine A. Bickley, Brianne Burger	Composition Corrector - A Computer-Based Tool to Support Professional Deaf and Hard-of-Hearing Writers.	ICCHP	2006	DBLP DOI BibTeX RDF
26	Kursad Melih Guleren, Ali Turan	Large Eddy Simulation of Spanwise Rotating Turbulent Channel and Duct Flows by a Finite Volume Code at Low Reynolds Numbers.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
26	Michael Thielscher	Handling Implication and Universal Quantification Constraints in FLUX.	CP	2005	DBLP DOI BibTeX RDF
26	Lingyun Gu, John G. E. Harris	SLAP: a system for the detection and correction of pronunciation for second language acquisition.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
26	Christian H. Bischof, H. Martin Bücker, Arno Rasch, Emil Slusanschi	Evaluation of a Computer Model for Wavy Falling Films Using EFCOSS.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
26	Iksoo Kim, Backhyun Kim, Yoseop Woo, Taejune Hwang, Seokhoon Kang	VOD Service Using Web-Caching Technique on the Head-End-Network.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
26	Ute Schmid, Marina Müller, Fritz Wysotzki	Integrating Function Application in State-Based Planning.	KI	2002	DBLP DOI BibTeX RDF
26	Mark A. Iwen, Amol Dattatraya Mali	DSatz: A Directional SAT Solver for Planning.	ICTAI	2002	DBLP DOI BibTeX RDF
26	Helko Lehmann, Michael Leuschel	Solving Planning Problems by Partial Deduction.	LPAR	2000	DBLP DOI BibTeX RDF
26	Alan C. Kay	The computer revolution hasn't happened yet (keynote session).	ACM Multimedia	2000	DBLP DOI BibTeX RDF
26	Vincenzo Pallotta	A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs.	Computational Logic	2000	DBLP DOI BibTeX RDF
26	Motomichi Toyama, Akira Ohara	Hash-based Symmetric Data Structure and Join Algorithm for OLAP Applications.	IDEAS	1999	DBLP DOI BibTeX RDF
26	Michael Thielscher	A Theory of First-Order Counterfactual Reasoning.	KI	1999	DBLP DOI BibTeX RDF
19	Stacy Miller, Philip Menard, David Bourrie	I'm not fluent: How linguistic fluency, new media literacy, and personality traits influence fake news engagement behavior on social media.	Inf. Manag.	2024	DBLP DOI BibTeX RDF
19	T. Ben Thompson, Zygimantas Straznickas, Michael Sklar	Fluent dreaming for language models.	CoRR	2024	DBLP DOI BibTeX RDF
19	Víctor M. Sánchez-Cartagena, Miquel Esplà-Gomis, Juan Antonio Pérez-Ortiz, Felipe Sánchez-Martínez	Non-Fluent Synthetic Target-Language Data Improve Neural Machine Translation.	CoRR	2024	DBLP DOI BibTeX RDF
19	Chuanqi Zang, Jiji Tang, Rongsheng Zhang, Zeng Zhao, Tangjie Lv, Mingtao Pei, Wei Liang	Let Storytelling Tell Vivid Stories: An Expressive and Fluent Multimodal Storyteller.	CoRR	2024	DBLP DOI BibTeX RDF
19	Xincheng Li, Jianting Ning, Geong Sen Poh, Leo Yu Zhang, Xinchun Yin, Tianwei Zhang 0004	Fluent: Round-efficient Secure Aggregation for Private Federated Learning.	CoRR	2024	DBLP DOI BibTeX RDF
19	Víctor M. Sánchez-Cartagena, Miquel Esplà-Gomis, Juan Antonio Pérez-Ortiz, Felipe Sánchez-Martínez	Non-Fluent Synthetic Target-Language Data Improve Neural Machine Translation.	IEEE Trans. Pattern Anal. Mach. Intell.	2024	DBLP DOI BibTeX RDF
19	Yaru Zhao, Bo Cheng 0001, Yakun Huang, Zhiguo Wan	FluGCF: A Fluent Dialogue Generation Model With Coherent Concept Entity Flow.	IEEE ACM Trans. Audio Speech Lang. Process.	2024	DBLP DOI BibTeX RDF
19	Ori Roth, Yossi Gil	Fluent APIs in Functional Languages.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
19	Misha Afaq, Ali Jebelli, Rafiq Ahmad	An Intelligent Thermal Management Fuzzy Logic Control System Design and Analysis Using ANSYS Fluent for a Mobile Robotic Platform in Extreme Weather Applications.	J. Intell. Robotic Syst.	2023	DBLP DOI BibTeX RDF
19	Edisa Lozic, Benjamin Stular	Fluent but Not Factual: A Comparative Analysis of ChatGPT and Other AI Chatbots' Proficiency and Originality in Scientific Writing for Humanities.	Future Internet	2023	DBLP DOI BibTeX RDF
19	Dongyub Lee, Taesun Whang, Chanhee Lee, Heuiseok Lim	Towards Reliable and Fluent Large Language Models: Incorporating Feedback Learning Loops in QA Systems.	CoRR	2023	DBLP DOI BibTeX RDF
19	Tao Fang, Shu Yang, Kaixin Lan, Derek F. Wong, Jinpeng Hu, Lidia S. Chao, Yue Zhang 0004	Is ChatGPT a Highly Fluent Grammatical Error Correction System? A Comprehensive Evaluation.	CoRR	2023	DBLP DOI BibTeX RDF
19	David Noever, Kevin Williams	Chatbots As Fluent Polyglots: Revisiting Breakthrough Code Snippets.	CoRR	2023	DBLP DOI BibTeX RDF
19	Yiqian Mao, Shan Zhong, Hujun Yin	DRLFluent: A distributed co-simulation framework coupling deep reinforcement learning with Ansys-Fluent on high-performance computing systems.	J. Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	Angeliki Kavga, Vasileios Thomopoulos, Evangelos Pischinas, Dimitris Tsipianitis, Pantelis G. Nikolakopoulos	Design and simulation of a greenhouse in a computational environment (ANSYS/FLUENT) and an automatic control system in a LABVIEW environment.	Simul. Model. Pract. Theory	2023	DBLP DOI BibTeX RDF
19	Jie Cheng, Huipeng Wang, Qian Fan, Jing Li	Simulation analysis of centrifugal blood pump with elbow based on Fluent.	ISAIMS	2023	DBLP DOI BibTeX RDF
19	Milica Vukovic, Vladimir Vujovic, Zorana Staka, Snjezana Milinkovic	Domain-Specific Language for Modeling Fluent API.	ECAI	2023	DBLP DOI BibTeX RDF
19	Samuel S. Silva, Cátia Azevedo, Ana Rita Valente, Ana Patrícia Rocha, Marisa Lousada, Luciana Albuquerque, António J. S. Teixeira	Aphluentia: Supporting Communication for People with Fluent Aphasia.	COMPSAC	2023	DBLP DOI BibTeX RDF
19	Manman Zhang, Ge Luo 0003, Yuchen Ma, Sheng Li 0006, Zhenxing Qian, Xinpeng Zhang 0001	VCMaster: Generating Diverse and Fluent Live Video Comments Based on Multimodal Contexts.	ACM Multimedia	2023	DBLP DOI BibTeX RDF
19	Sohom Ghosh, Sudip Kumar Naskar	FLUEnT: Financial Language Understandability Enhancement Toolkit.	COMAD/CODS	2023	DBLP DOI BibTeX RDF
19	Wei Tang, Yunfei Wang, Zhenping Yu, Zhenkun Li, Juntian Qu	Bionic Robotic Fish Mechanical Structure Optimization Design and Performance Analysis Based on Fluent.	CASE	2023	DBLP DOI BibTeX RDF
19	Shaomei Wu	"The World is Designed for Fluent People": Benefits and Challenges of Videoconferencing Technologies for People Who Stutter.	CHI	2023	DBLP DOI BibTeX RDF
19	Taegyu Jin, Seung-Jun Lee, Joon Hyub Lee, Seok-Hyung Bae	Touch'n'Draw: Rapid 3D Sketching with Fluent Bimanual Coordination.	UIST (Adjunct Volume)	2023	DBLP DOI BibTeX RDF
19	Taegyu Jin, Seung-Jun Lee, Joon Hyub Lee, Seok-Hyung Bae	An Interactive Showcase of Touch'n'Draw: Rapid 3D Sketching with Fluent Bimanual Coordination.	SIGGRAPH Asia Emerging Technologies	2023	DBLP DOI BibTeX RDF
19	Marcin Korecki, Dirk Helbing	Analytically Guided Reinforcement Learning for Green It and Fluent Traffic.	IEEE Access	2022	DBLP DOI BibTeX RDF
19	Shailza Jolly, Pepa Atanasova, Isabelle Augenstein	Generating Fluent Fact Checking Explanations with Unsupervised Post-Editing.	Inf.	2022	DBLP DOI BibTeX RDF
19	Ori Roth, Yossi Gil	Fluent APIs in Functional Languages (full version).	CoRR	2022	DBLP DOI BibTeX RDF
19	Yi Xiao, Harshit Sharma, Victoria Tumanova, Asif Salekin	Psychophysiology-aided Perceptually Fluent Speech Analysis of Children Who Stutter.	CoRR	2022	DBLP DOI BibTeX RDF
19	Abdul Rafae Khan, Hrishikesh Kanade, Girish Amar Budhrani, Preet Jhanglani, Jia Xu 0004	SIT at MixMT 2022: Fluent Translation Built on Giant Pre-trained Models.	CoRR	2022	DBLP DOI BibTeX RDF
19	Izabela Swietlicka, Wieslawa Kuniszyk-Józkowiak, Michal Swietlicki	Artificial Neural Networks Combined with the Principal Component Analysis for Non-Fluent Speech Recognition.	Sensors	2022	DBLP DOI BibTeX RDF
19	Yongxin Jiang, Shunlin Hou, Li Zhang, Xuanfeng Liu, Jiaxi Zhang 0004, Yichao Wang	Design and Experiment of Secondary Throwing Device of Cotton Straw Crushing and Returning Machine Using Fluent.	AIEE	2022	DBLP DOI BibTeX RDF
19	Tetsuro Yamazaki, Tomoki Nakamaru, Shigeru Chiba	Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles.	SLE	2022	DBLP DOI BibTeX RDF
19	Abdul Rafae Khan, Hrishikesh Kanade, Girish Amar Budhrani, Preet Jhanglani, Jia Xu 0004	SIT at MixMT 2022: Fluent Translation Built on Giant Pre-trained Models.	WMT	2022	DBLP BibTeX RDF
19	Bakhyt Alipova, Yevgenia A. Daineko, Zhiger Zhassulanuly Bolatov	Numerical Modeling of the Coronary Artery using ANSYS Fluent.	DTESI	2022	DBLP BibTeX RDF
19	Alexandra Krauska, Naomi H. Feldman	Modeling the regular/irregular dissociation in non-fluent aphasia in a recurrent neural network.	CogSci	2022	DBLP BibTeX RDF
19	Muzaffar Muxiddinovich Hamdamov, Akram Ismoilovich Ishnazarov, Khusniddin Abdujalilovich Mamadaliev	Numerical Modeling of Vertical Axis Wind Turbines Using ANSYS Fluent Software.	NEW2AN	2022	DBLP DOI BibTeX RDF
19	Ismatulla Ko'shaevich Khujaev, Rabim Alikulovich Fayziev, Muzaffar Muxiddinovich Hamdamov	Numerical Solution of the Combustion Process Using the Computer Package Ansys Fluent.	NEW2AN	2022	DBLP DOI BibTeX RDF
19	Yingjun Wang, Rong Hu, HuTing Wang, XueFeng Feng	Simulation and Test of Nozzle Optimization of Residual Film Barrier Device based on Fluent.	ICCMS	2022	DBLP DOI BibTeX RDF
19	Yunfei Zhou, Hongguang Yang, Bin Cheng, Cheng Wang	The finite element simulation and optimization method of the temperature field of vacuum heat treatment based on Fluent.	ICoMS	2022	DBLP DOI BibTeX RDF
19	Sann Ryu, Sang Ryu	Feeling excited and fluent: how consumers respond to the visual appeals of products in an online shopping environment.	Behav. Inf. Technol.	2021	DBLP DOI BibTeX RDF
19	Shailza Jolly, Pepa Atanasova, Isabelle Augenstein	Generating Fluent Fact Checking Explanations with Unsupervised Post-Editing.	CoRR	2021	DBLP BibTeX RDF
19	Bhavya Ghai, Klaus Mueller 0001	Fluent: An AI Augmented Writing Tool for People who Stutter.	CoRR	2021	DBLP BibTeX RDF
19	Ryan Beal, Georgios Chalkiadakis, Timothy J. Norman, Sarvapali D. Ramchurn	Optimising Long-Term Outcomes using Real-World Fluent Objectives: An Application to Football.	CoRR	2021	DBLP BibTeX RDF
19	Hoang T. N. Nguyen, Dong Nie, Taivanbat Badamdorj, Yujie Liu, Yingying Zhu 0004, Jason Truong, Li Cheng	Automated Generation of Accurate & Fluent Medical X-ray Reports.	CoRR	2021	DBLP BibTeX RDF
19	Soojung Baek, Kristofer G. Reyes	Problem-fluent models for complex decision-making in autonomous materials research.	CoRR	2021	DBLP BibTeX RDF
19	Tariq Iqbal, Laurel D. Riek	Temporal Anticipation and Adaptation Methods for Fluent Human-Robot Teaming.	ICRA	2021	DBLP DOI BibTeX RDF
19	Zerina Lokmic-Tomkins, Lindy Cochrane, Tania Celeste, Morag Burnie	An Interdisciplinary Partnership Approach to Improving the Digital Literacy Skills of Nursing Students to Become Digitally Fluent, Work-Ready Graduates.	Nursing Informatics	2021	DBLP DOI BibTeX RDF
19	Bhavya Ghai, Klaus Mueller 0001	Fluent: An AI Augmented Writing Tool for People who Stutter.	ASSETS	2021	DBLP DOI BibTeX RDF
19	Jia-Fang Pan, Min-Chao Liang, Fa-Guo Huang	Research on the Correlation between Extrusion Parameters and Screw Failure Based on Fluent.	ICIIP	2021	DBLP DOI BibTeX RDF
19	George Sterpu, Christian Saam, Naomi Harte	Learning to Count Words in Fluent Speech Enables Online Speech Recognition.	SLT	2021	DBLP DOI BibTeX RDF
19	Rong-Hao Liang, Zengrong Guo	NFCSense: Data-Defined Rich-ID Motion Sensing for Fluent Tangible Interaction Using a Commodity NFC Reader.	CHI	2021	DBLP DOI BibTeX RDF
19	Xue Wang, Yang Zhang 0041	Nod to Auth: Fluent AR/VR Authentication with User Head-Neck Modeling.	CHI Extended Abstracts	2021	DBLP DOI BibTeX RDF
19	Julia Nee, Genevieve Macfarlane Smith, Alicia Sheares, Ishita Rustagi	Advancing social justice through linguistic justice: Strategies for building equity fluent NLP technology.	EAAMO	2021	DBLP DOI BibTeX RDF
19	Nischal Shrestha, Titus Barik, Chris Parnin	Unravel: A Fluent Code Explorer for Data Wrangling.	UIST	2021	DBLP DOI BibTeX RDF
19	Hoang T. N. Nguyen, Dong Nie, Taivanbat Badamdorj, Yujie Liu, Yingying Zhu 0004, Jason Truong, Li Cheng	Automated Generation of Accurate & Fluent Medical X-ray Reports.	EMNLP (1)	2021	DBLP DOI BibTeX RDF
19	Yongjie Huang, Meng Yang 0001, Ni Yang	Generating Relevant, Correct and Fluent Answers in Natural Answer Generation.	NLPCC (2)	2021	DBLP DOI BibTeX RDF
19	Daniel Lehner, Antonio Garmendia, Manuel Wimmer	Towards Flexible Evolution of Digital Twins with Fluent APIs.	ETFA	2021	DBLP DOI BibTeX RDF