|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 206 occurrences of 192 keywords
|
|
|
Results
Found 880 publication records. Showing 861 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
89 | Xin Wang, Yanxun Chang |
Self-Converse Directed BIBDs with Block Size Four. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 19(4), pp. 567-575, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 233-249, 2003, Springer, 3-540-00897-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 210-225, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE Workshops ![In: Web Information Systems - WISE 2006 Workshops, WISE 2006 International Workshops, Wuhan, China, October 23-26, 2006, Proceedings, pp. 171-181, 2006, Springer, 3-540-47663-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GTIT-C ![In: General Theory of Information Transfer and Combinatorics, pp. 460-485, 2006, Springer, 3-540-46244-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 14(3), pp. 289-329, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2005, 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005, Proceedings, pp. 184-198, 2005, Springer, 3-540-24454-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Linh Anh Nguyen, Andrzej Szalas |
A Tableau Calculus for Regular Grammar Logics with Converse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 421-436, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Guillaume Aucher, Andreas Herzig |
From DEL to EDL : Exploring the Power of Converse Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 199-209, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Carsten Lutz |
PDL with Intersection and Converse Is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 413-427, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Yohei Kurata, Hui Shi 0001 |
Toward Heterogeneous Cardinal Direction Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, pp. 452-459, 2009, Springer, 978-3-642-04616-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings, pp. 692-699, 2008, Springer, 978-3-540-79720-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Jose, California, USA, August 12-15, 2007, pp. 310-319, 2007, ACM, 978-1-59593-609-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Converse@SIGKDD ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Converse@KDD ![In: 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., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
34 | Alexandra Savelieva, Bryan Au-Yeung, Vasanth Ramani |
Abstractive Summarization of Spoken and Written Instructions with BERT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Converse@KDD ![In: 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., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Converse@KDD ![In: 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., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Converse@KDD ![In: 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., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
34 | Maxime De Bruyn, Ehsan Lotfi, Jeska Buhmann, Walter Daelemans |
BART for Knowledge Grounded Conversations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Converse@KDD ![In: 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., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Converse@KDD ![In: 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., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
34 | Gustavo Penha, Claudia Hauff |
Challenges in the Evaluation of Conversational Search Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Converse@KDD ![In: 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., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Converse@KDD ![In: 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., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
33 | Giuseppe De Giacomo |
Eliminating "Converse" from Converse PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 5(2), pp. 193-208, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Anal. ![In: Decis. Anal. 20(4), pp. 295-310, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoWildLife@SIGSPATIAL ![In: Proceedings of the 1st ACM SIGSPATIAL International Workshop on AI-driven Spatio-temporal Data Analysis for Wildlife Conservation, GeoWildLife 2023, Hamburg, Germany, 13 November 2023, pp. 17-20, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 13(19), pp. 3840, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 110(6), pp. 1463-1480, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Shi Pu, Geoffrey A. Converse, Yuchi Huang |
Deep Performance Factors Analysis for Knowledge Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIED (1) ![In: Artificial Intelligence in Education - 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021, Proceedings, Part I, pp. 331-341, 2021, Springer, 978-3-030-78291-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Geoffrey A. Converse, Shi Pu, Suely Oliveira |
Incorporating Item Response Theory into Knowledge Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIED (2) ![In: Artificial Intelligence in Education - 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021, Proceedings, Part II, pp. 114-118, 2021, Springer, 978-3-030-78269-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 45(2), pp. 20-22, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu |
Probabilistic Symbolic Analysis of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020, pp. 148-159, 2020, IEEE, 978-1-7281-9870-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath |
On the probabilistic analysis of neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAMS@ICSE ![In: SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020, pp. 5-8, 2020, ACM, 978-1-4503-7962-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neuroinformatics ![In: Neuroinformatics 17(2), pp. 295-306, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 44(4), pp. 15, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Divya Gopinath, Ankur Taly, Hayes Converse, Corina S. Pasareanu |
Finding Invariants in Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.13215, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Biomed. Health Informatics ![In: IEEE J. Biomed. Health Informatics 23(2), pp. 857-866, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Geoffrey A. Converse, Mariana Curi, Suely Oliveira |
Autoencoders for Educational Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIED (2) ![In: Artificial Intelligence in Education - 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II, pp. 41-45, 2019, Springer, 978-3-030-23206-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Geoffrey A. Converse, Brooke Arnold, Mariana Curi, Suely Oliveira |
Variational Autoencoders for Baseball Player Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSDM ![In: Fuzzy Systems and Data Mining V - Proceedings of FSDM 2019, Kitakyushu City, Japan, October 18-21, 2019, pp. 305-311, 2019, IOS Press, 978-1-64368-018-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (15) ![In: Augmented Cognition - 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, pp. 573-585, 2019, Springer, 978-3-030-22418-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Mariana Curi, Geoffrey A. Converse, Jeffrey Hajewski, Suely Oliveira |
Interpretable Variational Autoencoders for Cognitive Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: International Joint Conference on Neural Networks, IJCNN 2019 Budapest, Hungary, July 14-19, 2019, pp. 1-8, 2019, IEEE, 978-1-7281-1985-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly |
Property Inference for Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 797-809, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 43(4), pp. 55, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2018 Data Compression Conference, DCC 2018, Snowbird, UT, USA, March 27-30, 2018, pp. 355-364, 2018, IEEE, 978-1-5386-4883-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid |
Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, pp. 241-252, 2017, IEEE Computer Society, 978-1-5090-6031-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Shali Jiang 0001, Gustavo Malkomes, Geoff Converse, Alyssa Shofner, Benjamin Moseley, Roman Garnett |
Efficient Nonmyopic Active Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 34th International Conference on Machine Learning, ICML 2017, Sydney, NSW, Australia, 6-11 August 2017, pp. 1714-1723, 2017, PMLR. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 27th IEEE International Symposium on Software Reliability Engineering, ISSRE 2016, Ottawa, ON, Canada, October 23-27, 2016, pp. 105-115, 2016, IEEE Computer Society, 978-1-4673-9002-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Andreas Krause 0001, Daniel Golovin, Sarah J. Converse |
Sequential Decision Making in Computational Sustainability via Adaptive Submodularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Mag. ![In: AI Mag. 35(2), pp. 8-18, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 60(1), pp. 447-455, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Alvin O. Converse |
Seasonal Energy Storage in a Renewable Energy System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 100(2), pp. 401-409, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 11th IEEE International Conference on Computer and Information Technology, CIT 2011, Pafos, Cyprus, 31 August-2 September 2011, pp. 436-442, 2011, IEEE Computer Society, 978-0-7695-4388-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Daniel Golovin, Andreas Krause 0001, Beth Gardner, Sarah J. Converse, Steve Morey |
Dynamic Resource Allocation in Conservation Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011, 2011, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 52(Supplement-1), pp. S85-S86, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 44(4), pp. 1334-1344, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 56(10), pp. 2470-2476, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 56(11), pp. 2634-2641, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Feng Pan 0012, Tim Converse, David Ahn, Franco Salvetti, Gianluca Donato |
Feature selection for ranking using boosted trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 2025-2028, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Mediat. Commun. ![In: J. Comput. Mediat. Commun. 14(1), pp. 35-66, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 55(1), pp. 230-236, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 54(8), pp. 1382-1388, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 54(1), pp. 150-155, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Brian D. Davison 0001, Marc Najork, Tim Converse |
Adversarial information retrieval on the web (AIRWeb 2006). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR Forum ![In: SIGIR Forum 40(2), pp. 27-30, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 53(3), pp. 533-537, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Susan P. Converse |
Resolving Pronominal References in Chinese with the Hobbs Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGHAN@IJCNLP 2005 ![In: Proceedings of the Fourth SIGHAN Workshop on Chinese Language Processing, SIGHAN@IJCNLP 2005, Jeju Island, Korea, 14-15, 2005, 2005, ACL. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
31 | Tim Converse |
CAPTCHA Generation as a Web Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIP ![In: Human Interactive Proofs, Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings, pp. 82-96, 2005, Springer, 3-540-26001-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Susan P. Converse |
Developing Guidelines for the Annotation of Anaphors in the Chinese Treebank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGHAN@COLING ![In: The First Workshop on Chinese Language Processing, SIGHAN@COLING 2002, Taipei, Taiwan, August 24 - September 1, 2002, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
31 | Nianwen Xue, Susan P. Converse |
Combining Classifiers for Chinese Word Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGHAN@COLING ![In: The First Workshop on Chinese Language Processing, SIGHAN@COLING 2002, Taipei, Taiwan, August 24 - September 1, 2002, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Human Factors in Computing Systems, CHI '97 Conference Proceedings, Atlanta, Georgia, USA, March 22-27, 1997., pp. 359-366, 1997, ACM/Addison-Wesley, 0-201-32229-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Kristian J. Hammond, Timothy M. Converse, Joshua W. Grass |
The Stabilization of Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 72(1-2), pp. 305-327, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Arthur T. Benjamin, Cherlyn Converse, Henry A. Krieger |
How Do I Marry Thee? Let Me Count the Ways!. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 59(3), pp. 285-292, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 16(1-2), pp. 37-56, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Kristian J. Hammond, Timothy M. Converse, Mitchell Marks, Colleen M. Seifert |
Opportunism and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 10, pp. 279-309, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Timothy M. Converse, Kristian J. Hammond |
Learning to Satisfy Conjunctive Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the Ninth International Workshop on Machine Learning (ML 1992), Aberdeen, Scotland, UK, July 1-3, 1992, pp. 117-122, 1992, Morgan Kaufmann, 1-55860-247-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
31 | Kristian J. Hammond, Timothy M. Converse |
Stabilizing Environments to Facilitate Planning and Activity: An Engineering Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 9th National Conference on Artificial Intelligence, Anaheim, CA, USA, July 14-19, 1991, Volume 2., pp. 787-793, 1991, AAAI Press / The MIT Press. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
31 | Kristian J. Hammond, Timothy M. Converse |
Integrating Planning and Acting in a Case-Based Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes., pp. 292-297, 1990, AAAI Press / The MIT Press, 0-262-51057-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
31 | Timothy M. Converse, Kristian J. Hammond, Mitchell Marks |
Learning from Opportunity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the Sixth International Workshop on Machine Learning (ML 1989), Cornell University, Ithaca, New York, USA, June 26-27, 1989, pp. 246-248, 1989, Morgan Kaufmann, 1-55860-036-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
31 | Kristian J. Hammond, Timothy M. Converse, Mitchell Marks |
Learning from Opportunities: Storing and Re-using Execution-Time Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 7th National Conference on Artificial Intelligence, St. Paul, MN, USA, August 21-26, 1988., pp. 536-540, 1988, AAAI Press / The MIT Press, 0-262-51055-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
31 | Cecil E. Denney, Ronald E. Converse |
Instructional databases in APL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the eighth international conference on APL, APL 1976, Ottawa, Canada, September 22-24, 1976, pp. 95-98, 1976, ACM, 978-1-4503-7416-3. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
31 | George Converse |
Symmetric Matrices with Given Row Sums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 18(2), pp. 171-176, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
31 | A. O. Converse |
The Use of Uncertainty in a Simultaneous Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 15(6), pp. 1088-1095, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Göller, Markus Lohrey, Carsten Lutz |
PDL with Intersection and Converse Is 2 EXP-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings, pp. 198-212, 2007, Springer, 978-3-540-71388-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Shraga I. Bross |
A Converse Result for the Discrete Memoryless Relay Channel With Relay-Transmitter Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(8), pp. 3789-3792, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | M. Lange |
Satisfiability and Completeness of Converse-PDL Replayed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings, pp. 79-92, 2003, Springer, 3-540-20059-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Mariusz Meszka, Zdzislaw Skupien |
Self-Converse and Oriented Graphs among the Third Parts of Nearly Complete Digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 18(3), pp. 413-424, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings, pp. 613-627, 1996, Springer, 3-540-61511-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Kenneth W. Regan, D. Sivakumar, Jin-yi Cai |
Pseudorandom Generators, Measure Theory, and Natural Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995, pp. 26-35, 1995, IEEE Computer Society, 0-8186-7183-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 26th ACM Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010, pp. 97-106, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (4) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 675-682, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Olivier Danvy |
From Reduction-Based to Reduction-Free Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Functional Programming ![In: Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures, pp. 66-164, 2008, Springer, 978-3-642-04651-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Peter A. Hancock |
Procedure and Dynamic Display Relocation on Performance in a Multitask Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 37(1), pp. 47-57, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Hisashi Handa |
Estimation of distribution algorithms with niche separation mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 119-126, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Roderick Murray-Smith, Andrew Ramsay, Simon Garrod, Melissa Jackson, Bojan Musizza |
Gait alignment in mobile phone conversations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 9th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2007, Singapore, September 9-12, 2007, pp. 214-221, 2007, ACM, 978-1-59593-862-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence/IAT Workshops ![In: Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 2-5 November 2007, Silicon Valley, CA, USA, pp. 363-367, 2007, IEEE Computer Society, 0-7695-3028-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Tim French 0002 |
Idempotent Transductions for Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings, pp. 178-192, 2007, Springer, 978-3-540-74620-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | David Gamarnik, John J. Hasenbein |
Weak instability in stochastic and fluid queueing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 31(2), pp. 9-10, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Harris recurrence, large deviations, fluid limits |
22 | Robert G. Capra |
Mobile information re-finding as a continuing dialogue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2003 Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003, pp. 664-665, 2003, ACM, 1-58113-637-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2001: Advances in Artificial Intelligence, 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001, Proceedings, pp. 87-98, 2001, Springer, 3-540-42601-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Lance Fortnow, Aduri Pavan, Alan L. Selman |
Distributionally-Hard Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 5th Annual International Conference, COCOON '99, Tokyo, Japan, July 26-28, 1999, Proceedings, pp. 184-193, 1999, Springer, 3-540-66200-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Hao-Chung Cheng, Li Gao |
Error Exponent and Strong Converse for Quantum Soft Covering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 70(5), pp. 3499-3511, May 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.18327, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.17167, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 861 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|