Search results for "inferences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Max J. Egenhofer	Temporal Relations of Intervals with a Gap.	TIME	2007	DBLP DOI BibTeX RDF
16	Fahiem Bacchus	Caching in Backtracking Search.	CP	2007	DBLP DOI BibTeX RDF
16	Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli	Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3.	CSMR	2006	DBLP DOI BibTeX RDF
16	Yiqun Wang, Tao Liu, Wanlu Jiang, Yiming Fang	Error Tracing & Data Mining in the Cold Rolling Process.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
16	Robin Mitra, Jerome P. Reiter	Adjusting Survey Weights When Altering Identifying Design Variables Via Synthetic Data.	Privacy in Statistical Databases	2006	DBLP DOI BibTeX RDF	Multiple imputation, Weights, Disclosure, Swapping, Synthetic data
16	Andrew Aberdein	Managing Informal Mathematical Knowledge: Techniques from Informal Logic.	MKM	2006	DBLP DOI BibTeX RDF
16	Sebastian Brandt, Jörg Model	Subsumption in w.r.t. Hybrid TBoxes.	KI	2005	DBLP DOI BibTeX RDF
16	Vive Kumar, John C. Nesbit, Kate Han	Rating Learning Object Quality with Distributed Bayesian Belief Networks: The Why and the How.	ICALT	2005	DBLP DOI BibTeX RDF
16	Andrei Stoica, Csilla Farkas	Ontology Guided XML Security Engine.	J. Intell. Inf. Syst.	2004	DBLP DOI BibTeX RDF	ontology based inference attack, multi-level XML security, data aggregation, XML security
16	Richard Zanibbi, Dorothea Blostein, James R. Cordy	A survey of table recognition.	Int. J. Document Anal. Recognit.	2004	DBLP DOI BibTeX RDF	Modeling table structure, Performance evaluation, Information retrieval, Table recognition
16	Santiago Aja-Fernández, Carlos Alberola-López	Fast inference in SAM fuzzy systems using transition matrices.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
16	Ricardo Sousa Silvestre, Tarcisio H. C. Pequeno	Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning?	SBIA	2004	DBLP DOI BibTeX RDF
16	Ezekiel S. Bhasker, Steven W. Brown, William G. Griswold	Employing User Feedback for Fast, Accurate, Low-Maintenance Geolocationing .	PerCom	2004	DBLP DOI BibTeX RDF
16	Kohei Taki, Reiji Teramoto, Yoichi Takenaka, Hideo Matsuda	Inference of Gene Regulatory Network Based on Module Network Model with Gene Functional Classifications.	CSB	2004	DBLP DOI BibTeX RDF
16	Hugo Liu, Push Singh	Commonsense Reasoning in and Over Natural Language.	KES	2004	DBLP DOI BibTeX RDF
16	Miguel A. Melgarejo, Carlos Andrés Peña-Reyes	Hardware architecture and FPGA implementation of a type-2 fuzzy system.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	fuzzy hardware, interval type-2 fuzzy systems, FPGA, distributed arithmetic, type-2 fuzzy logic
16	Christine Golbreich	Combining Rule and Ontology Reasoners for the Semantic Web.	RuleML	2004	DBLP DOI BibTeX RDF
16	José Mira, Ana E. Delgado García, Maria Taboada	Neurosymbolic Integration: The Knowledge Level Approach.	EUROCAST	2003	DBLP DOI BibTeX RDF
16	Jessica Staddon	Dynamic inference control.	DMKD	2003	DBLP DOI BibTeX RDF
16	Franz Baader	Engineering of Logics for the Content-Based Representation of Information.	RTA	2002	DBLP DOI BibTeX RDF
16	Jia-Huai You, Xianchang Wang, Li-Yan Yuan	Nonmonotonic Reasoning as Prioritized Argumentation.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF
16	Jussi Rintanen	Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae.	LPAR	2001	DBLP DOI BibTeX RDF
16	Simon Moncrieff, Chitra Dorai, Svetha Venkatesh	Detecting Indexical Signs In Film Audio For Scene Interpretation.	ICME	2001	DBLP DOI BibTeX RDF
16	Richard Sproat	Inferring the environment in a text-to-scene conversion system.	K-CAP	2001	DBLP DOI BibTeX RDF	common sense knowledge, text-to-scene conversion, statistical natural language processing
16	Lars Kulik	A Geometric Theory of Vague Boundaries Based on Supervaluation.	COSIT	2001	DBLP DOI BibTeX RDF	Geometry, Spatial Reasoning, Axiomatics, Vagueness, Geography
16	Paliath Narendran, Michaël Rusinowitch	The Theory of Total Unary RPO Is Decidable.	Computational Logic	2000	DBLP DOI BibTeX RDF	recursive path ordering, ground reducibility, ordered rewriting, tree automata, first-order theory
16	Jürgen Stuber	Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems.	RTA	2000	DBLP DOI BibTeX RDF
16	Cécile Capponi	Type Extensibility of a Knowledge Representation System with Powersets.	ISMIS	1997	DBLP DOI BibTeX RDF
16	Li Yang, Mukesh Dalal	Empirical Results on Anytime Propositional Reasoning .	ICTAI	1997	DBLP DOI BibTeX RDF	AI Algorithms, Automated reasoning Anytime Reasoning with Probabilistic Inequalities
16	Gerd Kamp, Bernd Neumann	Knowledge-based Inference Methods for Modeling Technical Systems.	HICSS (5)	1997	DBLP DOI BibTeX RDF
16	Harald Ganzinger, Uwe Waldmann	Theorem Proving in Cancellative Abelian Monoids (Extended Abstract).	CADE	1996	DBLP DOI BibTeX RDF
16	Jürgen Stuber	Superposition Theorem Proving for Albelian Groups Represented as Integer Modules.	RTA	1996	DBLP DOI BibTeX RDF
16	Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi	Completion for Multiple Reduction Orderings.	RTA	1995	DBLP DOI BibTeX RDF
16	Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder	Basic Paramodulation and Superposition.	CADE	1992	DBLP DOI BibTeX RDF
16	Pavel Kocura	Towards a Semantic of Inchoative and Causation Events in Conceptual Graphs.	Workshop on Conceptual Graphs	1992	DBLP DOI BibTeX RDF
16	Gene L. Fisher, Dale E. Busse, David Wolber	Adding Rule-Based Reasoning to a Demonstrational Interface Builder.	ACM Symposium on User Interface Software and Technology	1992	DBLP DOI BibTeX RDF	direct manipulation, programming by demonstration, UIMSs, interface builders
16	Robert McLaughlin	A plea for a readable Prolog programming style.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	Prolog
16	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
16	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
16	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
16	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
16	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
16	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
16	Shin-ichi Wada, Yoshiyuki Koseki	An assumption-based localization technique for switching system.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF
16	P. L. Tan, Tharam S. Dillon, John Zeleznikow	Representing Exceptions in Rule-Based Systems.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	object-level rules, meta-level rules, rule model, exceptions
16	Mark E. Stickel	A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.	CADE	1986	DBLP DOI BibTeX RDF
16	J. Longstaff	ERQ: Controlled Inference and Instruction Techniques for DBMS Query Languages.	SIGMOD Conference	1982	DBLP DOI BibTeX RDF
16	Alan M. Frisch, James F. Allen	Knowledge Retrieval as Limited Inference.	CADE	1982	DBLP DOI BibTeX RDF
15	Florian M. Farke, David G. Balash, Maximilian Golla, Adam J. Aviv	How Does Connecting Online Activities to Advertising Inferences Impact Privacy Perceptions?	Proc. Priv. Enhancing Technol.	2024	DBLP DOI BibTeX RDF
15	William N. Caballero, José Manuel Camacho, Tahir Ekin, Roi Naveiro	Manipulating hidden-Markov-model inferences by corrupting batch data.	Comput. Oper. Res.	2024	DBLP DOI BibTeX RDF
15	Alex Fedorov, Eloy Geenjaar, Lei Wu, Tristan Sylvain, Thomas P. DeRamus, Margaux Luck, Maria B. Misiura, Girish Mittapalle, R. Devon Hjelm, Sergey M. Plis, Vince D. Calhoun	Self-supervised multimodal learning for group inferences from MRI data: Discovering disorder-relevant brain regions and multimodal links.	NeuroImage	2024	DBLP DOI BibTeX RDF
15	Husam Awni Bayoud, Mohammad Z. Raqab	Classical and Bayesian inferences for two Topp-Leone models under joint progressive Type-II censoring.	Commun. Stat. Simul. Comput.	2024	DBLP DOI BibTeX RDF
15	Sarah Narvaiz, Qinyun Lin, Joshua M. Rosenberg, Kenneth A. Frank, Spiro J. Maroulis, Wei Wang, Ran Xu	konfound: An R Sensitivity Analysis Package to Quantify the Robustness of Causal Inferences.	J. Open Source Softw.	2024	DBLP DOI BibTeX RDF
15	David Borland, Arran Zeyu Wang, David Gotz	Using Counterfactuals to Improve Causal Inferences From Visualizations.	IEEE Computer Graphics and Applications	2024	DBLP DOI BibTeX RDF
15	Sarah E. Finch, Jinho D. Choi	ConvoSense: Overcoming Monotonous Commonsense Inferences for Conversational AI.	CoRR	2024	DBLP DOI BibTeX RDF
15	William N. Caballero, José Manuel Camacho, Tahir Ekin, Roi Naveiro	Manipulating hidden-Markov-model inferences by corrupting batch data.	CoRR	2024	DBLP DOI BibTeX RDF
15	David Borland, Arran Zeyu Wang, David Gotz	Using Counterfactuals to Improve Causal Inferences from Visualizations.	CoRR	2024	DBLP DOI BibTeX RDF
15	Melody Y. Huang, Sarah E. Robertson, Harsh Parikh	Towards Generalizing Inferences from Trials to Target Populations.	CoRR	2024	DBLP DOI BibTeX RDF
15	Gisèle Fischer Servi	Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework.	J. Log. Comput.	2024	DBLP DOI BibTeX RDF
15	Katarzyna Prus, Mark Steedman, Adam Lopez	Human Temporal Inferences Go Beyond Aspectual Class.	EACL (1)	2024	DBLP BibTeX RDF
15	V. Phoebe Pawlik, Yan Pan	Inferences from Social Media Conversations about the Adoption of Chatbots.	HICSS	2024	DBLP BibTeX RDF
15	Lixian Ma, Haoruo Chen, En Shao, Leping Wang, Quan Chen 0002, Guangming Tan	POSTER: FineCo: Fine-grained Heterogeneous Resource Management for Concurrent DNN Inferences.	PPoPP	2024	DBLP DOI BibTeX RDF
15	Hrishikesh Kumar, Desikan Ramakrishnan, Ronak Jain, Himanshu Govil	Can Imaging Spectroscopy Divulge the Process Mechanism of Mineralization? Inferences from the Talc Mineralization, Jahazpur, India.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
15	Cinzia Federico, Ornella Cocina, Salvatore Gambino, Antonio Paonita, Stefano Branca, Mauro Coltelli, Francesco Italiano, Valentina Bruno 0001, Tommaso Caltabiano, Marco Camarda, Giorgio Capasso, Sofia De Gregorio, Iole Serena Diliberto, Roberto Maria Rosario Di Martino, Susanna Falsaperla, Filippo Greco, Giovannella Pecoraino, Giuseppe Salerno, Mariangela Sciotto, Sergio Bellomo, Giuseppe Di Grazia, Ferruccio Ferrari, Alessandro Gattuso, Leonardo La Pica, Mario Mattia, Antonino Fabio Pisciotta, Lucia Pruiti, Francesco Sortino	Inferences on the 2021 Ongoing Volcanic Unrest at Vulcano Island (Italy) through a Comprehensive Multidisciplinary Surveillance Network.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
15	Massoud Nakhkoob	A probabilistic model for estimating some design characteristics of aerostructures with an illustration of a Monte Carlo simulation, statistical inferences and applications in aerodynamics.	Int. J. Model. Simul. Sci. Comput.	2023	DBLP DOI BibTeX RDF
15	Ying Mao, Weifeng Yan, Yun Song, Yue Zeng, Ming Chen, Long Cheng 0003, Qingzhi Liu	Differentiate Quality of Experience Scheduling for Deep Learning Inferences With Docker Containers in the Cloud.	IEEE Trans. Cloud Comput.	2023	DBLP DOI BibTeX RDF
15	Prakash P. Shenoy	Making inferences in incomplete Bayesian networks: A Dempster-Shafer belief function approach.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
15	Alexander J. Leigh, Moslem Heidarpur, Mitra Mirhassani	Digital Hardware Implementations of Spiking Neural Networks With Selective Input Sparsity for Edge Inferences in Controlled Image Acquisition Environments.	IEEE Trans. Circuits Syst. II Express Briefs	2023	DBLP DOI BibTeX RDF
15	Deepmala, Sanjay Kumar Singh, Umesh Singh	Inferences based on a balanced joint progressive type-II censoring scheme for Lindley distributed lifetimes.	Commun. Stat. Simul. Comput.	2023	DBLP DOI BibTeX RDF
15	Diksha Malhotra, Rajesh Kumar Bhatia, Manish Kumar	Automated Selection of Web Form Text Field Values Based on Bayesian Inferences.	Int. J. Inf. Retr. Res.	2023	DBLP DOI BibTeX RDF
15	Jianqing Fan, Zhipeng Lou, Weichen Wang, Mengxin Yu	Spectral Ranking Inferences based on General Multiway Comparisons.	CoRR	2023	DBLP DOI BibTeX RDF
15	Alen Docef, Radu Negulescu, Mihai Prunescu	Using Z3 to Verify Inferences in Fragments of Linear Logic.	FROM	2023	DBLP DOI BibTeX RDF
15	Florian M. Farke, David G. Balash, Maximilian Golla, Adam J. Aviv	How Does Connecting Online Activities to Advertising Inferences Impact Privacy Perceptions?	CoRR	2023	DBLP DOI BibTeX RDF
15	Victoria Basmova, Yoav Goldberg, Reut Tsarfaty	ChatGPT and Simple Linguistic Inferences: Blind Spots and Blinds.	CoRR	2023	DBLP DOI BibTeX RDF
15	Lasha Abzianidze, Joost Zwarts, Yoad Winter	SpaceNLI: Evaluating the Consistency of Predicting Inferences in Space.	CoRR	2023	DBLP DOI BibTeX RDF
15	Lance Ying, Katherine M. Collins, Megan Wei, Cedegao E. Zhang, Tan Zhi-Xuan, Adrian Weller, Joshua B. Tenenbaum, Lionel Wong	The Neuro-Symbolic Inverse Planning Engine (NIPE): Modeling Probabilistic Social Inferences from Linguistic Inputs.	CoRR	2023	DBLP DOI BibTeX RDF
15	David Alonso del Barrio, Daniel Gatica-Perez	Framing the News: From Human Perception to Large Language Model Inferences.	CoRR	2023	DBLP DOI BibTeX RDF
15	Hugo Malard, Salah Zaiem, Robin Algayres	Big model only for hard audios: Sample dependent Whisper model selection for efficient inferences.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jennifer Hu, Roger Levy, Judith Degen, Sebastian Schuster	Expectations over Unspoken Alternatives Predict Pragmatic Inferences.	CoRR	2023	DBLP DOI BibTeX RDF
15	Cyrus Zhou, Zack Hassman, Ruize Xu, Dhirpal Shah, Vaughn Richard, Yanjing Li	SIMD Dataflow Co-optimization for Efficient Neural Networks Inferences on CPUs.	CoRR	2023	DBLP DOI BibTeX RDF
15	Anupam Das 0002, Alex A. Rice	Enumerating Independent Linear Inferences.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
15	Wu-Jiu Sun, Xiao Fan Liu	Deep attention framework for retweet prediction enriched with causal inferences.	Appl. Intell.	2023	DBLP DOI BibTeX RDF
15	Kai Tanter	Subatomic Inferences: an inferentialist Semantics for Atomics, Predicates, and Names.	Rev. Symb. Log.	2023	DBLP DOI BibTeX RDF
15	Yong-Ju Lee, Wooyoung Lim, Chen Zhao	Cheap talk with prior-biased inferences.	Games Econ. Behav.	2023	DBLP DOI BibTeX RDF
15	Alexia Dini Kounoudes, Georgia M. Kapitsaki, Ioannis Katakis 0001	Enhancing user awareness on inferences obtained from fitness trackers data.	User Model. User Adapt. Interact.	2023	DBLP DOI BibTeX RDF
15	Abdulmajeed Alqhatani, Heather Richter Lipford	Look Before You Leap! Perceptions and Attitudes Towards Inferences in Wearable Fitness Trackers.	HCI (35)	2023	DBLP DOI BibTeX RDF
15	Hasbi Yasin, Purhadi, Achmad Choiruddin	Statistical Inferences for Multivariate Generalized Gamma Regression Model.	DaSET	2023	DBLP DOI BibTeX RDF
15	Chun-Chieh Lin, Tzu-Chiao Yen, Ya-Shu Chen	Multiple Time-sensitive Inferences Scheduling on Energy-harvesting IoT Devices.	RACS	2023	DBLP DOI BibTeX RDF
15	Masaru Okumura, Sho Fujimura	Wireless LAN Operation and Behavioral Inferences from Usage Analysis.	SIGUCCS	2023	DBLP DOI BibTeX RDF
15	Nika Nizharadze, Matthias Mahlig, Timon Merk	Simulation of machine learning inferences in real-time operating system to improve direction finding in an embedded environment.	IPIN	2023	DBLP DOI BibTeX RDF
15	Dilara Berkay, Adrianna C. Jenkins	Measures of Semantic Distance from Word Embeddings Predict Neural Responses During Inferences about People and Objects.	CogSci	2023	DBLP BibTeX RDF
15	Dingyi Pan, Judith Degen	Towards a computational account of projection inferences in clause-embedding predicates.	CogSci	2023	DBLP BibTeX RDF
15	Alice Rees, Hannah Rohde	Availability and Timing of Informativity Inferences.	CogSci	2023	DBLP BibTeX RDF
15	Margarita Ryzhova, Alexandra Mayn, Vera Demberg	What inferences do people actually make upon encountering informationally redundant utterances? An individual differences study.	CogSci	2023	DBLP BibTeX RDF
15	Sarah A. Wu, Shruti Sridhar, Tobias Gerstenberg	A computational model of responsibility judgments from counterfactual simulations and intention inferences.	CogSci	2023	DBLP BibTeX RDF
15	Aysecan Boduroglu	Processing Scatterplots: Impact of Outliers on Correlational and Causal Inferences.	CogSci	2023	DBLP BibTeX RDF
15	David Alonso del Barrio, Daniel Gatica-Perez	Framing the News: From Human Perception to Large Language Model Inferences.	ICMR	2023	DBLP DOI BibTeX RDF
15	Ameer Saadat-Yazdi, Jeff Z. Pan, Nadin Kökciyan	Uncovering Implicit Inferences for Improved Relational Argument Mining.	EACL	2023	DBLP DOI BibTeX RDF
15	Shosuke Haji, Keiichi Suekane, Hirofumi Sano, Tomohiro Takagi	Exploratory Inference Chain: Exploratorily Chaining Multi-hop Inferences with Large Language Models for Question-Answering.	ICSC	2023	DBLP DOI BibTeX RDF
15	Burak Cankaya, Kazim Topuz, Aaron Glassman	Business Inferences and Risk Modeling with Machine Learning; The Case of Aviation Incidents.	HICSS	2023	DBLP BibTeX RDF