Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
91	Deliverable D5.2: Query containment evaluation and optimization of WSMO/L discovery engine Date: Add to Reading List Source URL: www.envision-project.eu Language: English - Date: 2011-06-01 01:20:10 Semantic Web Information Conjunctive query Database theory Datalog Database management systems Computer languages Deductive database Query Data management Computing Query languages
92	Beyond Proof-of-compliance: Safety and Availability Analysis in Trust Management Ninghui Li Department of Computer Science Stanford University Gates 4B Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-03-09 23:00:58 Datalog Mathematics Logic XTR Forcing Finitary relation
93	Deriving Predicate Statistics in Datalog Senlin Liang Michael Kifer Department of Computer Science Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-05-12 21:44:12 Matrix theory Matrix Matrices Algebra Linear algebra Mathematics
94	BOOM Analycs: Exploring Data-‐Centric, Declarave Programming for the Cloud Neil Conway* hEp://boom.cs.berkeley.edu Joint work with Peter Alvaro, Add to Reading List Source URL: eurosys2010.sigops-france.fr Language: English* - Date: 2010-04-15 08:17:56 Software Apache Hadoop Cloud computing Analy High School Computing Centralized computing Datalog
95	SWAT4LS 2014 Tutorial Introduction to Rule Technologies and Systems 9-11 Dec., Berlin, Germany Prof. Dr. Adrian Paschke and Ralph Schäfermeier Arbeitsgruppe Corporate Semantic Web (AG-CSW) Institut für Informatik, Frei Add to Reading List Source URL: www.swat4ls.org Language: English - Date: 2015-01-21 10:51:10 Computing Semantic Web Programming paradigms Logic programming Knowledge representation Prolog Datalog Prova Knowledge representation and reasoning Logic Science Reasoning
96	RoyalTek Bluetooth GPS Datalog Receiver MBT-1100 User Manual V1.0 Add to Reading List Source URL: www.royaltek.com Language: English - Date: 2014-04-09 03:22:30 GPS Bluetooth Wireless Global Positioning System GPS navigation device Technology Smartphones Mobile computers
97	RoyalTek Bluetooth GPS Datalog Receiver MBT-1100 User Manual V1.1 Add to Reading List Source URL: www.royaltek.com Language: English - Date: 2014-04-09 03:21:54 GPS GPS navigation device Bluetooth Global Positioning System Universal Serial Bus Comparison of Android devices Ricoh Caplio 500SE Technology Smartphones Mobile computers
98	Confidentiality-preserving Proof Theories for Distributed Proof Systems Kazuhiro Minami Nikita Borisov Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-01-05 00:32:19 Logical consequence Reasoning Datalog Rule of inference Knowledge base Proof theory Logic Propositional calculus Inference
99	Dedalus: Datalog in Time and Space Peter Alvaro1, William R. Marczak1 , Neil Conway1 , Joseph M. Hellerstein1 , David Maier2 , and Russell Sears3 1 University of California, Berkeley {palvaro,wrm,nrc,hellerstein}@cs.berk Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-03-05 03:03:32 Science Logic programming Modal logic Predicate Stratification Logic Mathematics Datalog
100	1st International Workshop on Business Models, Business Rules and Ontologies (BuROSeptember 21st , 2010, Bressanone/Brixen (Italy). Workshop co-located with the 4th International Conference on Web Reasoning and Ru Add to Reading List Source URL: ontorule-project.eu Language: English - Date: 2012-03-29 10:08:02 Semantic Web Reasoning Semantics of Business Vocabulary and Business Rules Datalog Semantic reasoner Business rule Information Åshild Heymans Data management Data modeling Unified Modeling Language