Search results for "converse"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Xin Wang, Yanxun Chang	Self-Converse Directed BIBDs with Block Size Four.	Graphs Comb.	2003	DBLP DOI BibTeX RDF	Self-converse, Self-converse directed balanced incomplete block design, Group divisible design, Pairwise balanced design
86	Ernst-Erich Doberkat	The Converse of a Stochastic Relation.	FoSSaCS	2003	DBLP DOI BibTeX RDF	Stochastic relations, relational calculi, concurrency, converse, bisimulation, nondeterminism
75	Mark Kaminski, Gert Smolka	Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse.	IJCAR	2008	DBLP DOI BibTeX RDF	modal and hybrid logics, difference modality, converse, decision procedures, tableau systems
64	Liyi Zhang, Yazi Li, Jian Meng	Design of Chinese Word Segmentation System Based on Improved Chinese Converse Dictionary and Reverse Maximum Matching Algorithm.	WISE Workshops	2006	DBLP DOI BibTeX RDF	Converse Chinese dictionary, reverse maximum matching algorithm, Chinese word segmentation
64	Rudolf Ahlswede, Ning Cai 0001	A Strong Converse Theorem for Quantum Multiple Access Channels.	GTIT-C	2006	DBLP DOI BibTeX RDF	classical quantum multiple access channel, strong converse, wringing technique, non–stationary memoryless classical quantum channel
61	Stéphane Demri, Hans de Nivelle	Deciding Regular Grammar Logics with Converse Through First-Order Logic.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	relational translation, 2-variable fragment, guarded fragment, modal and temporal logics
50	Ron Steinfeld, Scott Contini, Huaxiong Wang, Josef Pieprzyk	Converse Results to the Wiener Attack on RSA.	Public Key Cryptography	2005	DBLP DOI BibTeX RDF
39	Linh Anh Nguyen, Andrzej Szalas	A Tableau Calculus for Regular Grammar Logics with Converse.	CADE	2009	DBLP DOI BibTeX RDF
39	Guillaume Aucher, Andreas Herzig	From DEL to EDL : Exploring the Power of Converse Events.	ECSQARU	2007	DBLP DOI BibTeX RDF
39	Carsten Lutz	PDL with Intersection and Converse Is Decidable.	CSL	2005	DBLP DOI BibTeX RDF
36	Yohei Kurata, Hui Shi 0001	Toward Heterogeneous Cardinal Direction Calculus.	KI	2009	DBLP DOI BibTeX RDF	cardinal direction relations, heterogeneous spatial calculi, composition, converse
36	Xuedong Tian, Fei Wang, Xiaoyu Liu	An Improved Method of Formula Structural Analysis.	RSKT	2008	DBLP DOI BibTeX RDF	Formula recognition, Converse Matching, Structural analysis, Baseline
36	Byron J. Gao, Martin Ester, Jin-yi Cai, Oliver Schulte, Hui Xiong 0001	The minimum consistent subset cover problem and its applications in data mining.	KDD	2007	DBLP DOI BibTeX RDF	converse k-clustering, minimum consistent subset cover, minimum rule set, pattern summarization
34	Giuseppe Di Fabbrizio, Surya Kallumadi, Utkarsh Porwal, Thrivikrama Taula (eds.)	Proceedings of the KDD 2020 Workshop on Conversational Systems Towards Mainstream Adoption co-located with the 26TH ACM SIGKDD Conference on Knowledge Discovery and Data Mining (SIGKDD 2020), Virtual Workshop, August 24, 2020.	Converse@SIGKDD	2020	DBLP BibTeX RDF
34	Himani Srivastava, Prerna Khurana, Saurabh Srivastava, Vaibhav Varshney, Lovekesh Vig, Puneet Agarwal, Gautam Shroff	Improved Question Answering using Domain Prediction.	Converse@KDD	2020	DBLP BibTeX RDF
34	Alexandra Savelieva, Bryan Au-Yeung, Vasanth Ramani	Abstractive Summarization of Spoken and Written Instructions with BERT.	Converse@KDD	2020	DBLP BibTeX RDF
34	Shailesh Acharya, Glenn Fung	Using Optimal Embeddings to Learn New Intents with Few Examples: An Application in the Insurance Domain.	Converse@KDD	2020	DBLP BibTeX RDF
34	Alon Jacovi, Ori Bar El, Ofer Lavi, David Boaz, David Amid, Inbal Ronen, Ateret Anaby-Tavor	Improving Task-Oriented Dialogue Systems In Production with Conversation Logs.	Converse@KDD	2020	DBLP BibTeX RDF
34	Maxime De Bruyn, Ehsan Lotfi, Jeska Buhmann, Walter Daelemans	BART for Knowledge Grounded Conversations.	Converse@KDD	2020	DBLP BibTeX RDF
34	Yuan Ling, Benjamin Yao, Guneet Singh Kohli, Tuan-Hung Pham, Chenlei Guo	IQ-Net: A DNN Model for Estimating Interaction-level Dialogue Quality with Conversational Agents.	Converse@KDD	2020	DBLP BibTeX RDF
34	Gustavo Penha, Claudia Hauff	Challenges in the Evaluation of Conversational Search Systems.	Converse@KDD	2020	DBLP BibTeX RDF
34	Vahid Noroozi, Yang Zhang 0089, Evelina Bakhturina, Tomasz Kornuta	A Fast and Robust BERT-based Dialogue State Tracker for Schema Guided Dialogue Dataset.	Converse@KDD	2020	DBLP BibTeX RDF
33	Giuseppe De Giacomo	Eliminating "Converse" from Converse PDL.	J. Log. Lang. Inf.	1996	DBLP DOI BibTeX RDF
31	Laura M. Keating, Lea Randall, Rebecca Stanton, Casey McCormack, Michael Lucid, Travis Seaborn, Sarah J. Converse, Stefano Canessa, Axel Moehrenschlager	Using Decision Analysis to Determine the Feasibility of a Conservation Translocation.	Decis. Anal.	2023	DBLP DOI BibTeX RDF
31	Rowan L. Converse, Christopher D. Lippitt, Grant M. Harris, Steven E. Sesnie, Matthew J. Butler, David R. Stewart	Progress toward automated migratory waterfowl census using drones and deep learning.	GeoWildLife@SIGSPATIAL	2023	DBLP DOI BibTeX RDF
31	Rowan L. Converse, Christopher D. Lippitt, Caitlin L. Lippitt	Assessing Drought Vegetation Dynamics in Semiarid Grass- and Shrubland Using MESMA.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
31	Geoffrey A. Converse, Mariana Curi, Suely Oliveira, Jonathan Templin	Estimation of multidimensional item response theory models with correlated latent variables using variational autoencoders.	Mach. Learn.	2021	DBLP DOI BibTeX RDF
31	Shi Pu, Geoffrey A. Converse, Yuchi Huang	Deep Performance Factors Analysis for Knowledge Tracing.	AIED (1)	2021	DBLP DOI BibTeX RDF
31	Geoffrey A. Converse, Shi Pu, Suely Oliveira	Incorporating Item Response Theory into Knowledge Tracing.	AIED (2)	2021	DBLP DOI BibTeX RDF
31	Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong 0006, William Eiers, Milos Gligoric 0001, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo 0001, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang 0001, Hengbiao Yu	The Java Pathfinder Workshop 2019.	ACM SIGSOFT Softw. Eng. Notes	2020	DBLP DOI BibTeX RDF
31	Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu	Probabilistic Symbolic Analysis of Neural Networks.	ISSRE	2020	DBLP DOI BibTeX RDF
31	Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath	On the probabilistic analysis of neural networks.	SEAMS@ICSE	2020	DBLP DOI BibTeX RDF
31	Jeffrey M. Moirano, Gleb Y. Bezgin, Elizabeth O. Ahlers, Rolf Kötter, Alexander K. Converse	Rhesus Macaque Brain Atlas Regions Aligned to an MRI Template.	Neuroinformatics	2019	DBLP DOI BibTeX RDF
31	Alyas Almaawi, Hayes Converse, Milos Gligoric 0001, Sasa Misailovic, Sarfraz Khurshid	Quantifying the Exploration of the Korat Solver for Imperative Constraints.	ACM SIGSOFT Softw. Eng. Notes	2019	DBLP DOI BibTeX RDF
31	Divya Gopinath, Ankur Taly, Hayes Converse, Corina S. Pasareanu	Finding Invariants in Deep Neural Networks.	CoRR	2019	DBLP BibTeX RDF
31	Susan P. McGrath, Irina M. Perreard, Melissa D. Garland, Kelli A. Converse, Todd A. MacKenzie	Improving Patient Safety and Clinician Workflow in the General Care Setting With Enhanced Surveillance Monitoring.	IEEE J. Biomed. Health Informatics	2019	DBLP DOI BibTeX RDF
31	Geoffrey A. Converse, Mariana Curi, Suely Oliveira	Autoencoders for Educational Assessment.	AIED (2)	2019	DBLP DOI BibTeX RDF
31	Geoffrey A. Converse, Brooke Arnold, Mariana Curi, Suely Oliveira	Variational Autoencoders for Baseball Player Evaluation.	FSDM	2019	DBLP DOI BibTeX RDF
31	Mina Milosevic, Nicholas A. Moon, Michael W. McFerran, Sherif al-Qallawi, Lida P. Ponce, Chris Juszczyk, Patrick D. Converse	Self-control Strategies: Interpreting and Enhancing Augmented Cognition from a Self-regulatory Perspective.	HCI (15)	2019	DBLP DOI BibTeX RDF
31	Mariana Curi, Geoffrey A. Converse, Jeffrey Hajewski, Suely Oliveira	Interpretable Variational Autoencoders for Cognitive Models.	IJCNN	2019	DBLP DOI BibTeX RDF
31	Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly	Property Inference for Deep Neural Networks.	ASE	2019	DBLP DOI BibTeX RDF
31	Kaiyuan Wang, Hayes Converse, Milos Gligoric 0001, Sasa Misailovic, Sarfraz Khurshid	A Progress Bar for the JPF Search Using Program Executions.	ACM SIGSOFT Softw. Eng. Notes	2018	DBLP DOI BibTeX RDF
31	Jiahao Li, Hui Su, Alex Converse, Bin Li 0012, Roger Zhou, Bruce Lin, Jizheng Xu, Yan Lu 0001, Ruiqin Xiong	Intra Block Copy for Screen Content in the Emerging AV1 Video Codec.	DCC	2018	DBLP DOI BibTeX RDF
31	Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid	Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution.	ICST	2017	DBLP DOI BibTeX RDF
31	Shali Jiang 0001, Gustavo Malkomes, Geoff Converse, Alyssa Shofner, Benjamin Moseley, Roman Garnett	Efficient Nonmyopic Active Search.	ICML	2017	DBLP BibTeX RDF
31	Farah Hariri, August Shi, Hayes Converse, Sarfraz Khurshid, Darko Marinov	Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level.	ISSRE	2016	DBLP DOI BibTeX RDF
31	Andreas Krause 0001, Daniel Golovin, Sarah J. Converse	Sequential Decision Making in Computational Sustainability via Adaptive Submodularity.	AI Mag.	2014	DBLP DOI BibTeX RDF
31	Alexander K. Converse, Yves Aubert, Mohammed Farhoud, Jamey P. Weichert, Ian J. Rowland, Nicole M. Ingrisano, Kelly A. Allers, Bernd Sommer, David H. Abbott	Positron emission tomography assessment of 8-OH-DPAT-mediated changes in an index of cerebral glucose metabolism in female marmosets.	NeuroImage	2012	DBLP DOI BibTeX RDF
31	Alvin O. Converse	Seasonal Energy Storage in a Renewable Energy System.	Proc. IEEE	2012	DBLP DOI BibTeX RDF
31	Feng Pan 0012, Tim Converse, David Ahn, Franco Salvetti, Gianluca Donato	Greedy and Randomized Feature Selection for Web Search Ranking.	CIT	2011	DBLP DOI BibTeX RDF
31	Daniel Golovin, Andreas Krause 0001, Beth Gardner, Sarah J. Converse, Steve Morey	Dynamic Resource Allocation in Conservation Planning.	AAAI	2011	DBLP BibTeX RDF
31	Alexander K. Converse, Yves Aubert, Dhanabalan Murali, Todd E. Barnhart, Bernd Sommer, Kelly A. Allers, Onofre T. DeJesus, Robert J. Nickles, David H. Abbott	Glucose metabolism in medial prefrontal cortex is associated with serotonin 1A receptor binding in female marmosets.	NeuroImage	2010	DBLP DOI BibTeX RDF
31	Bradley T. Christian, Nicholas T. Vandehey, Andrew S. Fox, Dhanabalan Murali, Terrence R. Oakes, Alexander K. Converse, Robert J. Nickles, Steven E. Shelton, Richard J. Davidson, Ned H. Kalin	The distribution of D2/D3 receptor binding in the adolescent rhesus monkey using small animal PET imaging.	NeuroImage	2009	DBLP DOI BibTeX RDF
31	Punit Prakash, Mark C. Converse, John G. Webster, David M. Mahvi	An Optimal Sliding Choke Antenna for Hepatic Microwave Ablation.	IEEE Trans. Biomed. Eng.	2009	DBLP DOI BibTeX RDF
31	Peng Wang, Christopher L. Brace, Mark C. Converse, John G. Webster	Tumor Boundary Estimation Through Time-Domain Peaks Monitoring: Numerical Predictions and Experimental Results in Tissue-Mimicking Phantoms.	IEEE Trans. Biomed. Eng.	2009	DBLP DOI BibTeX RDF
31	Feng Pan 0012, Tim Converse, David Ahn, Franco Salvetti, Gianluca Donato	Feature selection for ranking using boosted trees.	CIKM	2009	DBLP DOI BibTeX RDF	boosted trees, information retrieval, feature selection
31	Edward W. Wolfe, Patrick D. Converse, Frederick L. Oswald	Item-Level Nonresponse Rates in an Attitudinal Survey of Teachers Delivered via Mail and Web.	J. Comput. Mediat. Commun.	2008	DBLP DOI BibTeX RDF
31	Mark C. Converse, Muwu Hou, David M. Mahvi, John G. Webster	Feasibility Study of Tumor Size Estimation Through Time Domain Peak Monitoring.	IEEE Trans. Biomed. Eng.	2008	DBLP DOI BibTeX RDF
31	Deshan Yang, Mark C. Converse, David M. Mahvi, John G. Webster	Expanding the Bioheat Equation to Include Tissue Internal Water Evaporation During Heating.	IEEE Trans. Biomed. Eng.	2007	DBLP DOI BibTeX RDF
31	Deshan Yang, Mark C. Converse, David M. Mahvi, John G. Webster	Measurement and Analysis of Tissue Temperature During Microwave Liver Ablation.	IEEE Trans. Biomed. Eng.	2007	DBLP DOI BibTeX RDF
31	Brian D. Davison 0001, Marc Najork, Tim Converse	Adversarial information retrieval on the web (AIRWeb 2006).	SIGIR Forum	2006	DBLP DOI BibTeX RDF
31	Deshan Yang, John M. Bertram, Mark C. Converse, Ann P. O'Rourke, John G. Webster, Susan C. Hagness, James A. Will, David M. Mahvi	A floating sleeve antenna yields localized hepatic microwave ablation.	IEEE Trans. Biomed. Eng.	2006	DBLP DOI BibTeX RDF
31	Susan P. Converse	Resolving Pronominal References in Chinese with the Hobbs Algorithm.	SIGHAN@IJCNLP 2005	2005	DBLP BibTeX RDF
31	Tim Converse	CAPTCHA Generation as a Web Service.	HIP	2005	DBLP DOI BibTeX RDF
31	Susan P. Converse	Developing Guidelines for the Annotation of Anaphors in the Chinese Treebank.	SIGHAN@COLING	2002	DBLP BibTeX RDF
31	Nianwen Xue, Susan P. Converse	Combining Classifiers for Chinese Word Segmentation.	SIGHAN@COLING	2002	DBLP BibTeX RDF
31	James C. Lester, Sharolyn A. Converse, Susan H. Kahler, S. Todd Barlow, Brian A. Stone, Ravinder S. Bhogal	The Persona Effect: Affective Impact of Animated Pedagogical Agents.	CHI	1997	DBLP DOI BibTeX RDF
31	Kristian J. Hammond, Timothy M. Converse, Joshua W. Grass	The Stabilization of Environments.	Artif. Intell.	1995	DBLP DOI BibTeX RDF
31	Arthur T. Benjamin, Cherlyn Converse, Henry A. Krieger	How Do I Marry Thee? Let Me Count the Ways!.	Discret. Appl. Math.	1995	DBLP DOI BibTeX RDF
31	Colleen M. Seifert, Kristian J. Hammond, Hollyn M. Johnson, Timothy M. Converse, Thomas F. McDoughal, Scott W. Vanderstoep	Case-Based Learning: Predictive Features in Indexing.	Mach. Learn.	1994	DBLP DOI BibTeX RDF
31	Kristian J. Hammond, Timothy M. Converse, Mitchell Marks, Colleen M. Seifert	Opportunism and Learning.	Mach. Learn.	1993	DBLP DOI BibTeX RDF
31	Timothy M. Converse, Kristian J. Hammond	Learning to Satisfy Conjunctive Goals.	ML	1992	DBLP DOI BibTeX RDF
31	Kristian J. Hammond, Timothy M. Converse	Stabilizing Environments to Facilitate Planning and Activity: An Engineering Argument.	AAAI	1991	DBLP BibTeX RDF
31	Kristian J. Hammond, Timothy M. Converse	Integrating Planning and Acting in a Case-Based Framework.	AAAI	1990	DBLP BibTeX RDF
31	Timothy M. Converse, Kristian J. Hammond, Mitchell Marks	Learning from Opportunity.	ML	1989	DBLP BibTeX RDF
31	Kristian J. Hammond, Timothy M. Converse, Mitchell Marks	Learning from Opportunities: Storing and Re-using Execution-Time Optimizations.	AAAI	1988	DBLP BibTeX RDF
31	Cecil E. Denney, Ronald E. Converse	Instructional databases in APL.	APL	1976	DBLP DOI BibTeX RDF
31	George Converse	Symmetric Matrices with Given Row Sums.	J. Comb. Theory, Ser. A	1975	DBLP DOI BibTeX RDF
31	A. O. Converse	The Use of Uncertainty in a Simultaneous Search.	Oper. Res.	1967	DBLP DOI BibTeX RDF
28	Stefan Göller, Markus Lohrey, Carsten Lutz	PDL with Intersection and Converse Is 2 EXP-Complete.	FoSSaCS	2007	DBLP DOI BibTeX RDF
28	Shraga I. Bross	A Converse Result for the Discrete Memoryless Relay Channel With Relay-Transmitter Feedback.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
28	M. Lange	Satisfiability and Completeness of Converse-PDL Replayed.	KI	2003	DBLP DOI BibTeX RDF
28	Mariusz Meszka, Zdzislaw Skupien	Self-Converse and Oriented Graphs among the Third Parts of Nearly Complete Digraphs.	Comb.	1998	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C70, 05C20
28	Giuseppe De Giacomo, Fabio Massacci	Tableaux and Algorithms for Propositional Dynamic Logic with Converse.	CADE	1996	DBLP DOI BibTeX RDF
25	Kenneth W. Regan, D. Sivakumar, Jin-yi Cai	Pseudorandom Generators, Measure Theory, and Natural Proofs.	FOCS	1995	DBLP DOI BibTeX RDF	natural proofs, resource-bounded measure theory, partial converse, computational complexity, theorem proving, formal languages, random number generation, measure theory, pseudorandom number generators
22	Ken-ichi Kawarabayashi, Stephan Kreutzer, Bojan Mohar	Linkless and flat embeddings in 3-space and the unknot problem.	SCG	2010	DBLP DOI BibTeX RDF	flat embedding, linkless embedding, unknot, knot
22	Andrea Apolloni, Karthik Channakeshava, Lisa Durbeck, Maleq Khan, Chris J. Kuhlman, Bryan L. Lewis, Samarth Swarup	A Study of Information Diffusion over a Realistic Social Network Model.	CSE (4)	2009	DBLP DOI BibTeX RDF
22	Olivier Danvy	From Reduction-Based to Reduction-Free Normalization.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
22	Peter A. Hancock	Procedure and Dynamic Display Relocation on Performance in a Multitask Environment.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
22	Hisashi Handa	Estimation of distribution algorithms with niche separation mechanism.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
22	Roderick Murray-Smith, Andrew Ramsay, Simon Garrod, Melissa Jackson, Bojan Musizza	Gait alignment in mobile phone conversations.	Mobile HCI	2007	DBLP DOI BibTeX RDF	gait alignment, instrumented usability, rhythmic interaction, mobile devices, synchronization, alignment, accelerometer
22	Majdi Sabe Owda, Zuhair Bandar, Keeley A. Crockett	Conversation-Based Natural Language Interface to Relational Databases.	Web Intelligence/IAT Workshops	2007	DBLP DOI BibTeX RDF
22	Tim French 0002	Idempotent Transductions for Modal Logics.	FroCoS	2007	DBLP DOI BibTeX RDF
22	David Gamarnik, John J. Hasenbein	Weak instability in stochastic and fluid queueing networks.	SIGMETRICS Perform. Evaluation Rev.	2003	DBLP DOI BibTeX RDF	Harris recurrence, large deviations, fluid limits
22	Robert G. Capra	Mobile information re-finding as a continuing dialogue.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	information re-finding, mobile computing, speech recognition, voice user interfaces, shared context
22	Fabio Abbattista, Nicola Fanizzi, Stefano Ferilli, Pasquale Lops, Giovanni Semeraro	User Profiling in an Application of Electronic Commerce.	AI*IA	2001	DBLP DOI BibTeX RDF
22	Lance Fortnow, Aduri Pavan, Alan L. Selman	Distributionally-Hard Languages.	COCOON	1999	DBLP DOI BibTeX RDF
17	Hao-Chung Cheng, Li Gao	Error Exponent and Strong Converse for Quantum Soft Covering.	IEEE Trans. Inf. Theory	2024	DBLP DOI BibTeX RDF
17	Rushang Karia, Daksh Dobhal, Daniel Bramblett, Pulkit Verma 0001, Siddharth Srivastava 0001	Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications.	CoRR	2024	DBLP DOI BibTeX RDF
17	Yonghan Li, Chenyu Wu, Taoran Wu, Shijie Wang, Bai Xue 0001	Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems.	CoRR	2024	DBLP DOI BibTeX RDF