Vasant - PDFSEARCH.IO - Document Search Engine

Vasant
Results: 402

#	Item
181	LNCSLearning Link-Based Naïve Bayes Classifiers from Ontology-Extended Distributed Data Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-03-12 18:47:36 Science Semantic Web Information science Knowledge representation Data management Data integration Vasant Honavar Semantic integration Cyc Information Ontology Data
182	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) PSpace Tableau Algorithms for Acyclic Modalized ALC Jia Tao · Giora Slutzki · Vasant Honavar Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-06-14 00:05:06 Model theory Philosophical logic Automated theorem proving Method of analytic tableaux Abox Structure Boolean satisfiability problem PSPACE-complete Modal logic Theoretical computer science Mathematical logic Mathematics
183	Aligning Biomolecular Networks Using Modular Graph Kernels Fadi Towﬁc1,2, , M. Heather West Greenlee1,3 , and Vasant Honavar1,2 1 Bioinformatics and Computational Biology Graduate Program Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2009-07-28 18:01:31 Subgraph isomorphism problem Neighbourhood Graph Connected component Shortest path problem Clique Graph theory Mathematics Theoretical computer science
184	Secrecy-Preserving Query Answering for Instance Checking in EL Jia Tao, Giora Slutzki, and Vasant Honavar Iowa State University, Ames, IA, USA Abstract. We consider the problem of answering queries against an Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-01-30 20:13:58 Structure Universal algebra Formal language Parity of a permutation Mathematics Group theory Model theory
185	Identification of Surface Residues Involved in Protein-Protein Interaction – A Support Vector Machine Approach Changhui Yan1,2,5, Drena Dobbs3,4,5, Vasant Honavar1,2,4,5 1 Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2003-06-07 18:15:07 Bioinformatics Proteomics Posttranslational modification Protein structure Molecular modelling Protein secondary structure Protease Antibody Protein Biology Chemistry Biochemistry
186	Causal Transportability of Experiments on Controllable Subsets of Variables: z-Transportability Sanghack Lee and Vasant Honavar Artificial Intelligence Research Laboratory Department of Computer Science Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2013-05-29 19:48:49 Conditionals Philosophy of science Function Variable Valuation Representation Mutual information Mathematics Elementary mathematics Causality
187	On the Decidability of Role Mappings between Modular Ontologies Jie Bao1 , George Voutsadakis2 , Giora Slutzki2 and Vasant Honavar2 Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY 12180, USA. b Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2008-04-06 23:01:44 Functions and mappings Algebraic structures Artificial intelligence Description logic Information science Non-classical logic Sheaf Function Ring Mathematics Abstract algebra Algebra
188	Decision Tree Induction from Distributed Heterogeneous Autonomous Data Sources Doina Caragea, Adrian Silvescu, and Vasant Honavar Artiﬁcial Intelligence Research Laboratory, Computer Science Department, Iowa State Univ Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2003-06-08 17:35:21 Artificial intelligence Data mining Theoretical computer science Data analysis Decision tree learning Algorithm Distributed algorithm ID3 algorithm R-tree Machine learning Decision trees Computational statistics
189	Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications Jyotishman Pathak1,2 Samik Basu1 Robyn Lutz1,3 Vasant Honavar1,2 1 Department of Computer Science, Iowa State University, Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-11-14 22:17:08 Entailment Logical syntax Metalogic Philosophical logic Propositional calculus Function Constraint logic programming Logic Mathematics Deduction
190	On Evaluating MHC-II Binding Peptide Prediction Methods Yasser EL-Manzalawy1, Drena Dobbs2, Vasant Honavar1 1 Department of Computer Science, Center for Computational Intelligence, Learning, and Discovery, Iowa State Un Add to Reading List Source URL: www.cs.iastate.edu Language: English* - Date: 2008-09-23 23:24:50 Genes Glycoproteins MHC Class II Major histocompatibility complex Human leukocyte antigen HLA-DR MHC class I HLA-DQ HLA-A Biology Immune system Anatomy

UPDATE