Finitary - PDFSEARCH.IO - Document Search Engine

Finitary
Results: 245

#	Item
81	A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Model theory Data management Mathematical notation Tuple Type theory Symbol Finitary relation Structure First-order logic Mathematics Mathematical logic Logic
82	University of Scranton ACM Student Chapter / Computing Sciences Department 21st Annual High School Programming Contest (2011) -----------------------------------------------------------------------------Problem 1: Arithm Add to Reading List Source URL: www.cs.uofs.edu Language: English - Date: 2012-03-12 15:15:12 Finitary relation RSA Mathematics FO Finite model theory
83	569 British Journal of Developmental Psychology (2004), 22, 569–[removed]The British Psychological Society www.bps.org.uk Add to Reading List Source URL: katestevens.weebly.com Language: English - Date: 2010-09-25 05:09:21 Mathematical structures Structure Mental processes Perception Arity Finitary relation Binary Algebraic structure Pitch Mathematics Universal algebra Abstract algebra
84	QuickFOIL: Scalable Inductive Logic Programming Qiang Zeng Jignesh M. Patel David Page Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-10-10 16:41:18 Propositional calculus Predicate logic Logic in computer science Logic programming Relational model Relational algebra Horn clause Literal Finitary relation Logic Mathematical logic Mathematics
85	Believe It or Not: Adding Belief Annotations to Databases Wolfgang Gatterbauer, Magdalena Balazinska, Nodira Khoussainova, and Dan Suciu Department of Computer Science and Engineering, University of Washington, Seattle, Add to Reading List Source URL: www.vldb.org Language: English - Date: 2009-07-27 10:29:02 Philosophical logic Database theory Relational model Binary operations Data management Tuple Finitary relation Stable model semantics Modal logic Logic Mathematics Science
86	PARIS: Probabilistic Alignment of Relations, Instances, and Schema INRIA Saclay – ˆIle-de-France 4 rue Jacques Monod[removed]Orsay Cedex, France Add to Reading List Source URL: vldb.org Language: English - Date: 2011-11-23 01:03:08 Knowledge representation Ontology Information science Knowledge engineering RDF Schema Independence Function PP Finitary relation Semantic Web Information Science
87	Essays of an Information Scientist: Journalology, KeyWords Plus, and other Essays, Vol:13, p.376, 1990 Current Contents, #42, October 15, 1990 EUGENE GARFIELD” Add to Reading List Source URL: www.garfield.library.upenn.edu Language: English - Date: 2001-05-15 17:02:51 Knowledge Fellows of the Royal Society John Morgan Philosophy of mathematics Mathematics Academia Finitary relation
88	WiSeNet: Building a Wikipedia-based Semantic Network with Ontologized Relations Andrea Moro Roberto Navigli Add to Reading List Source URL: wwwusers.di.uniroma1.it Language: English - Date: 2012-11-03 07:43:14 Data management Relational model WordNet Artificial intelligence Information extraction Finitary relation Table Semantic network Function Knowledge representation Science Mathematics
89	Advanced encoding of programs CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Division of Computer Science Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-09 10:02:45 Model theory Electronic design automation Relational model Z3 Unsatisfiable core Logic synthesis First-order logic Transitive closure Finitary relation Logic Mathematics Mathematical logic
90	The L LUNATIC Data-Cleaning Framework Floris Geerts1 Giansalvatore Mecca2 Paolo Papotti3 Donatello Santoro2,4 3 1 University of Antwerp – Antwerp, Belgium 2 Universit`a della Basilicata – Potenza, Italy Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-08-01 05:49:52 Binary operations Finitary relation Logic Mathematical logic Tuple Sheaf Mean Exponentiation Database normalization Mathematics Abstract algebra Data management

UPDATE