Search results for "Otter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Hoang Thanh Lam, Marco Luca Sbodio, Marcos Martínez Galindo, Mykhaylo Zayats, Raúl Fernández-Díaz, Víctor Valls, Gabriele Picco, Cesar Berrospi Ramis, Vanessa López	Otter-Knowledge: benchmarks of multimodal knowledge graph representation learning from different sources for drug discovery.	CoRR	2023	DBLP DOI BibTeX RDF
27	Bo Li 0125, Yuanhan Zhang, Liangyu Chen, Jinghao Wang, Jingkang Yang, Ziwei Liu 0002	Otter: A Multi-Modal Model with In-Context Instruction Tuning.	CoRR	2023	DBLP DOI BibTeX RDF
27	Shuichi Katsumata, Yi-Fu Lai, Jason T. LeGrow, Ling Qin	CSI-Otter: Isogeny-based (Partially) Blind Signatures from the Class Group Action with a Twist.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
27	Steven Waskito, Kai Jie Leow, Pramuka Medaranga Sooriya Patabandige, Tejas Gupta, Shantanu Chakrabarty, Manoj Gulati, Ambuj Varshney	Demo Abstract: Light and Vibration Gesture Sensing with OTTER: Embedded Data Collection and Analysis Using LLMs.	SenSys	2023	DBLP DOI BibTeX RDF
27	Steven Antya Orvala Waskito, Kai Jie Leow, Pramuka Medaranga Sooriya Patabandige, Tejas Gupta, Shantanu Chakrabarty, Manoj Gulati, Ambuj Varshney	Otter: Simplifying Embedded Sensor Data Collection and Analysis using Large Language Models.	MobiCom	2023	DBLP DOI BibTeX RDF
27	Cheng Mao, Yihong Wu 0001, Jiaming Xu, Sophie H. Yu	Random Graph Matching at Otter's Threshold via Counting Chandeliers.	STOC	2023	DBLP DOI BibTeX RDF
27	Shuichi Katsumata, Yi-Fu Lai, Jason T. LeGrow, Ling Qin	CSI -Otter: Isogeny-Based (Partially) Blind Signatures from the Class Group Action with a Twist.	CRYPTO (3)	2023	DBLP DOI BibTeX RDF
27	Yuyan Li, Gang Wang, Qingchang Xu, Xinxin Wang, Rongjun Zhang, Liuyi Huang	Study of the Influence of Aspect Ratios on Hydrodynamic Performance of a Symmetrical Elliptic Otter Board.	Symmetry	2022	DBLP DOI BibTeX RDF
27	Cheng Mao, Yihong Wu 0001, Jiaming Xu, Sophie H. Yu	Random graph matching at Otter's threshold via counting chandeliers.	CoRR	2022	DBLP DOI BibTeX RDF
27	Fannie Liu, Chunjong Park, Yu Jiang Tham, Tsung-Yu Tsai, Laura Dabbish, Geoff Kaufman, Andrés Monroy-Hernández	Significant Otter: Understanding the Role of Biosignals in Communication.	CoRR	2021	DBLP BibTeX RDF
27	Fannie Liu, Chunjong Park, Yu Jiang Tham, Tsung-Yu Tsai, Laura Dabbish, Geoff Kaufman, Andrés Monroy-Hernández	Significant Otter: Understanding the Role of Biosignals in Communication.	CHI	2021	DBLP DOI BibTeX RDF
27	Sungwon Hong, Friedrich Recknagel, Hyo Gyeom Kim, Tae-Soo Chon, Gea-Jae Joo	Relationships of otter populations with fish, macroinvertebrates and water quality across three Korean rivers revealed by inferential modelling based on evolutionary computation.	Ecol. Informatics	2020	DBLP DOI BibTeX RDF
27	Saba Kawas, Nicole S. Kuhn, Mina Tari, Alexis Hiniker, Katie Davis 0001	"Otter this world": can a mobile application promote children's connectedness to nature?	IDC	2020	DBLP DOI BibTeX RDF
27	Yinglong Chen, Yeming Yao, Zengmeng Zhang, Hua Zhou	Numerical Analysis of a Mid-Water Trawl System With a 6-DOF Otter Board Model and Sea-Trial Verification.	IEEE Access	2018	DBLP DOI BibTeX RDF
27	Eva Papadogiannaki, Constantinos Halevidis, Periklis Akritidis, Lazaros Koromilas	OTTer: A Scalable High-Resolution Encrypted Traffic Identification Engine.	RAID	2018	DBLP DOI BibTeX RDF
27	James Harland	Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons).	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
27	James Harland	Busy Beaver Machines and the Observant Otter Heuristic (or How to Tame Dreadful Dragons).	CoRR	2016	DBLP BibTeX RDF
27	Michael Beeson, Larry Wos	OTTER Proofs in Tarskian Geometry.	IJCAR	2014	DBLP DOI BibTeX RDF
27	James Harland	Busy Beaver Machines and the Observant Otter Heuristic.	CATS	2013	DBLP BibTeX RDF
27	Thomas A. Tinsley	OTTER Project - Ontology Technology that Executes Real-time: Project Status.	KEOD	2011	DBLP BibTeX RDF
27	Kon Joon Bhang, Frank W. Schwartz, Alexander Braun	Verification of the Vertical Error in C-Band SRTM DEM Using ICESat and Landsat-7, Otter Tail County, MN.	IEEE Trans. Geosci. Remote. Sens.	2007	DBLP DOI BibTeX RDF
27	Larry Wos	Milestones for Automated Reasoning with Otter.	Int. J. Artif. Intell. Tools	2006	DBLP DOI BibTeX RDF
27	Michael Beeson, William McCune	Otter/Ivy.	The Seventeen Provers of the World	2006	DBLP DOI BibTeX RDF
27	Simon Colton	Automated conjecture making in number theory using HR, Otter and Maple.	J. Symb. Comput.	2005	DBLP DOI BibTeX RDF
27	William McCune	OTTER 3.3 Reference Manual	CoRR	2003	DBLP BibTeX RDF
27	Anne E. Walker, J. Walter Strapp, John Ian MacPherson	A Canadian Twin Otter microwave radiometer installation for airborne remote, sensing of snow, ice and soil moisture.	IGARSS	2002	DBLP DOI BibTeX RDF
27	Andrea Formisano 0001, Eugenio G. Omodeo, Marco Temperini	Instructing Equational Set-Reasoning with Otter.	IJCAR	2001	DBLP DOI BibTeX RDF	Set reasoning, map algebra, first-order theorem proving
27	Michael J. Quinn, Alexey G. Malishevsky, Nagajagadeswar Seelam	Otter: Bridging the Gap between MATLAB and ScaLAPACK.	HPDC	1998	DBLP DOI BibTeX RDF
27	William McCune, Larry Wos	Otter - The CADE-13 Competition Incarnations.	J. Autom. Reason.	1997	DBLP DOI BibTeX RDF
27	Howard H. Wang, Stephen M. Rock, Michael J. Lee	OTTER: The design and development of an intelligent underwater robot.	Auton. Robots	1996	DBLP DOI BibTeX RDF
27	Larry Wos	OTTER and the Moufang Identity Problem.	J. Autom. Reason.	1996	DBLP DOI BibTeX RDF
27	Phil Hanlon	Otter's Method and the Homology of Homeomorphically Irreduciblek-Trees.	J. Comb. Theory, Ser. A	1996	DBLP DOI BibTeX RDF
27	Thomas Jech	OTTER Experiments in a System of Combinatory Logic.	J. Autom. Reason.	1995	DBLP DOI BibTeX RDF
27	John K. Slaney, Ewing L. Lusk, William McCune	SCOTT: Semantically Constrained Otter System Description.	CADE	1994	DBLP DOI BibTeX RDF
27	Rohini Gupta, Lawrence T. Pillage	OTTER: Optimal Termination of Transmission Lines Excluding Radiation.	DAC	1994	DBLP DOI BibTeX RDF
27	Paolo Camurati, Tiziana Margaria, Paolo Prinetto	The OTTER environment for resolution-based proof of hardware correctness.	Microprocessing and Microprogramming	1990	DBLP DOI BibTeX RDF
27	William McCune	OTTER 2.0.	CADE	1990	DBLP DOI BibTeX RDF
27	Giovanni Maria Sacco	OTTER - An information retrieval system for office automation.	COCS	1984	DBLP DOI BibTeX RDF
18	Hiroaki Egashira, Atsushi Shimada, Daisaku Arita, Rin-Ichiro Taniguchi	Vision-Based Motion Capture of Interacting Multiple People.	ICIAP	2009	DBLP DOI BibTeX RDF
18	Nick C. Fiala, Keith M. Agre	Searching for Shortest Single Axioms for Groups of Exponent 6.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	exponent, single axiom, group, automated theorem-proving
18	Anna V. Álvarez, Karen A. García, Raúl Monroy, Luis A. Trejo, Jesús Vázquez	A Tool for Managing Security Policies in Organisations.	IWSEC	2006	DBLP DOI BibTeX RDF
18	Husam Abu-Haimed, David L. Dill, Sergey Berezin	A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification.	FMCAD	2006	DBLP DOI BibTeX RDF
18	Michael Beeson, Robert Veroff, Larry Wos	Double-Negation Elimination in Some Propositional Logics.	Stud Logica	2005	DBLP DOI BibTeX RDF
18	Elena Akhmatova, Diego Mollá	Recognizing Textual Entailment Via Atomic Propositions.	MLCW	2005	DBLP DOI BibTeX RDF
18	Larry Wos	The Flowering of Automated Reasoning.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
18	Sigrid Gürgens, Javier López 0001, René Peralta 0001	Analysis of e-commerce protocols: Adapting a traditional technique.	Int. J. Inf. Sec.	2003	DBLP DOI BibTeX RDF	Electronic commerce, Cryptographic protocol, Security analysis, Automatic theorem proving, Protocol validation
18	Freek Wiedijk, Jan Zwanenburg	First Order Logic with Domain Conditions.	TPHOLs	2003	DBLP DOI BibTeX RDF
18	Johan G. F. Belinfante	Reasoning about Iteration in Gödel's Class Theory.	CADE	2003	DBLP DOI BibTeX RDF
18	Rolf Schwitter	English as a Formal Specification Language.	DEXA Workshops	2002	DBLP DOI BibTeX RDF
18	Alexandre Riazanov, Andrei Voronkov	Adaptive Saturation-Based Reasoning.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
18	Alberto Medina, Anukool Lakhina, Ibrahim Matta, John W. Byers	BRITE: An Approach to Universal Topology Generation.	MASCOTS	2001	DBLP DOI BibTeX RDF	annotated topologies, network topology, graph models, simulation environments, topology generation, growth models
18	Kahlil Hodgson, John K. Slaney	System Description: SCOTT-5.	IJCAR	2001	DBLP DOI BibTeX RDF
18	Sigrid Gürgens, Javier López 0001	Suitability of a Classical Analysis Method for E-commerce Protocols.	ISC	2001	DBLP DOI BibTeX RDF	electronic commerce, cryptographic protocol, Security analysis, automatic theorem proving, protocol validation
18	Johan G. F. Belinfante	Gödel's Algorithm for Class Formation.	CADE	2000	DBLP DOI BibTeX RDF
18	Marianne Brown, Geoff Sutcliffe	System Description: PTTP+GLiDes: Semantically Guided PTTP.	CADE	2000	DBLP DOI BibTeX RDF
18	Alexandre Riazanov, Andrei Voronkov	Vampire.	CADE	1999	DBLP DOI BibTeX RDF
18	Matthias Fuchs	Evolving Combinators.	CADE	1997	DBLP DOI BibTeX RDF
18	Koji Iwanuma	Lemma Matching for a PTTP-based Top-down Theorem Prover.	CADE	1997	DBLP DOI BibTeX RDF
18	Heribert Schütz, Tim Geisler	Efficient Model Generation through Compilation.	CADE	1996	DBLP DOI BibTeX RDF
18	Matthias Fuchs	Experiments in the Heuristic Use of Past Proof Experience.	CADE	1996	DBLP DOI BibTeX RDF
18	Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder	Basic Paramodulation and Superposition.	CADE	1992	DBLP DOI BibTeX RDF
18	Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler	Automated Reasoning Contributed to Mathematics and Logic.	CADE	1990	DBLP DOI BibTeX RDF